Def Mathlib.Meta.NormNum.evalNatClog

Modification history

2025-06-24 02:04
Mathlib/Tactic/NormNum/NatLog.lean
feat: `norm_num` plugin for `Nat.clog` (#26317)
Added Mathlib.Meta.NormNum.evalNatClogView on Github →