Theorem MonCat.Colimits.quot_one

Modification history