Theorem CategoryTheory.isRightAdjointOfStructuredArrowInitials

Modification history