Theorem ModuleCat.FilteredColimits.colimit_zero_eq

Modification history