Theorem RingCat.Colimits.quot_zero

Modification history