mathlib3

3f6174ba - fix(tactic/norm_cast): make push_cast discharger match the others (#10021)