Theorem ModuleCat.Colimits.quot_add

Modification history