Theorem ModuleCat.FilteredColimits.ι_colimitDesc

Modification history