Theorem CommRingCat.Colimits.quot_zero

Modification history