Def Mathlib.Meta.NormNum.evalPow.core

Modification history

2026-09-08 22:52
Mathlib/Tactic/NormNum/Pow.lean
chore: remove imports added by `shake` (#40961) …
Deleted Mathlib.Meta.NormNum.evalPow.coreView on Github →
2025-08-19 08:36
Mathlib/Tactic/NormNum/Pow.lean
chore(Tactic/NormNum): make clear the current signature of the `core` functions (#28624) …
Added Mathlib.Meta.NormNum.evalPow.coreView on Github →