Mathlib v3 is deprecated. Go to Mathlib v4

Def smul_algebra_right

Modification history