Theorem CategoryTheory.MorphismProperty.coproducts_iff

Modification history