Theorem CategoryTheory.Limits.hasCoequalizer_epi_comp

Modification history