mathlib3

79a1f841 - fix(tactic/norm_num): bugfix bad proof application (#1387)

fix(tactic/norm_num): bugfix bad proof application (#1387) * fix(tactic/norm_num): bugfix bad proof application * add test case that used to fail * add try_for * fix typecheck test * increase test timeout