Theorem CategoryTheory.MorphismProperty.transfiniteCompositionsOfShape_le_transfiniteCompositions

Modification history