Theorem MonCat.FilteredColimits.colimit_mul_mk_eq'

Modification history