Theorem ModuleCat.FilteredColimits.colimit_add_mk_eq

Modification history