Theorem Mathlib.Meta.NormNum.nat_clog_helper

Modification history

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