Theorem CommRingCat.Colimits.quot_one

Modification history