Theorem CategoryTheory.Limits.coneOfIsSplitMono_ι

Modification history