Def CategoryTheory.Adjunction.injectivePresentationOfMap

Modification history