Theorem CategoryTheory.MorphismProperty.iSup_iff

Modification history