Theorem CategoryTheory.Limits.wideCoequalizer.cotrident_ι_app_one

Modification history