Theorem CategoryTheory.Limits.coequalizer.condition

Modification history