Theorem Mathlib.Meta.NormNum.isNat_clog

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.isNat_clogView on Github →