Def CategoryTheory.ihom.adjunction

Modification history