Theorem CategoryTheory.Limits.Cotrident.coequalizer_ext

Modification history