Theorem CategoryTheory.Limits.coequalizer.π_colimMap_desc

Modification history