Def Mathlib.Meta.NormNum.evalAbs

Modification history

2025-09-23 14:25
Mathlib/Tactic/NormNum/Abs.lean
feat: norm_num extension for abs (#29223) …
Added Mathlib.Meta.NormNum.evalAbsView on Github →