Mathlib v3 is deprecated. Go to Mathlib v4

Def Module.filtered_colimits.colimit_smul_aux

Modification history