Theorem RingCat.Colimits.quot_add

Modification history