Theorem ModuleCat.FilteredColimits.colimit_add_mk_eq'

Modification history