Theorem Mathlib.Meta.NormNum.nat_log_zero

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