Def CategoryTheory.adjunctionOfStructuredArrowInitials

Modification history