Theorem CategoryTheory.Limits.IsInitial.epi_to

Modification history