Theorem CategoryTheory.MorphismProperty.sSup_iff

Modification history