mathlib3

407ad214 - feat(algebra.smul_with_zero): add mul_zero_class.to_smul_with_zero (#6911)