Theorem MonCat.Colimits.quot_mul

Modification history