mathlib3

fix(tactic/omega): simplify with mul_one and one_mul

#1344

Merged