Theorem Mathlib.Meta.NormNum.isNat_log

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_logView on Github →