Theorem CategoryTheory.MorphismProperty.bijective_eq_sup

Modification history