Theorem CategoryTheory.MorphismProperty.transfiniteCompositionsOfShape_le_llp_rlp

Modification history