Theorem CategoryTheory.Limits.PushoutCocone.epi_of_isColimitMkIdId

Modification history