Def CategoryTheory.leftAdjointOfStructuredArrowInitials

Modification history