Theorem CategoryTheory.Limits.hasCoequalizer_of_common_section

Modification history