Theorem CategoryTheory.MorphismProperty.StableUnderComposition.isomorphisms

Modification history