Theorem CategoryTheory.MorphismProperty.transfiniteCompositionsOfShape_monotone

Modification history