Diff — Adjoint functors

Revision #480 → #691 · back to history

No annotation changes between these revisions.