Theorem CategoryTheory.Limits.wideCoequalizer.cotrident_π

Modification history