Theorem CategoryTheory.Limits.wideCoequalizer.π_desc

Modification history