Theorem CategoryTheory.nonempty_isRightAdjoint_iff_hasInitial_structuredArrow

Modification history