Theorem CategoryTheory.Limits.coequalizer.π_desc

Modification history