Def CategoryTheory.isRightAdjointOfStructuredArrowInitials

Modification history