Theorem CategoryTheory.Limits.coconeOfIsSplitEpi_π

Modification history