Theorem CategoryTheory.Adjunction.isLeftAdjoint

Modification history