Theorem CategoryTheory.Limits.coequalizer.cofork_ι_app_one

Modification history