Theorem Mathlib.Meta.NormNum.nat_clog_zero_right

Modification history

2026-04-09 14:18
Mathlib/Tactic/NormNum/NatLog.lean
fix: some norm_num exts are not available in the module system (#37820) …
Added Mathlib.Meta.NormNum.nat_clog_zero_rightView on Github →