mathlib3

02625770 - perf(number_theory/padics/hensel): fix timeout in `calc_eval_z' (#16823)

perf(number_theory/padics/hensel): fix timeout in `calc_eval_z' (#16823) Simply replace the term-mode def by a tactic-mode one appears to fix the timeout observed in multiple branches. Co-authored-by: Junyan Xu <junyanxu.math@gmail.com>