Theorem CategoryTheory.MorphismProperty.llp_isStableUnderCoproductsOfShape

Modification history