Theorem CategoryTheory.MorphismProperty.transfiniteCompositions_iff

Modification history