Theorem CategoryTheory.MorphismProperty.transfiniteCompositions_le_llp_rlp

Modification history