Def Mathlib.Meta.NormNum.proveNatClog

Modification history

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