Theorem CategoryTheory.Limits.Cofork.coequalizer_ext

Modification history