mathlib3

fix(tactic/norm_num): bugfix bad proof application

#1387

Merged