Theorem ModuleCat.FilteredColimits.M.mk_surjective

Modification history