Theorem CategoryTheory.Limits.coequalizer.cofork_π

Modification history