Theorem CategoryTheory.Limits.coequalizer.π_of_eq

Modification history