Theorem CategoryTheory.MorphismProperty.bijective_stableUnderComposition

Modification history