Theorem CategoryTheory.Limits.wideCoequalizer.condition

Modification history