Theorem CategoryTheory.Limits.IsInitial.isSplitEpi_to

Modification history