Def CategoryTheory.MorphismProperty.transfiniteCompositions

Modification history