Theorem Nat.log_lt_iff_lt_pow

Modification history

2025-11-24 15:41
Mathlib/Data/Nat/Log.lean
refactor(Nat/Log): redefine `Nat.log` and `Nat.clog` (#31990) …
Modified Nat.log_lt_iff_lt_powView on Github →
2025-10-06 22:42
Mathlib/Data/Nat/Log.lean
chore(Nat/Log): swap Nat.pow_le_iff_le_log lemmas (#30229) …
Added Nat.log_lt_iff_lt_powView on Github →