Def Mathlib.Meta.NormNum.evalZPow

Modification history

2026-09-08 22:52
Mathlib/Tactic/NormNum/Pow.lean
chore: remove imports added by `shake` (#40961) …
Deleted Mathlib.Meta.NormNum.evalZPowView on Github →
2024-01-22 21:46
Mathlib/Tactic/NormNum/Pow.lean
feat: implement zpow norm_num extension (#9875)
Added Mathlib.Meta.NormNum.evalZPowView on Github →