Theorem CommRingCat.Colimits.quot_mul

Modification history