Theorem Nat.lt_clog_iff_pow_lt

Modification history

2025-10-06 22:42
Mathlib/Data/Nat/Log.lean
chore(Nat/Log): swap Nat.pow_le_iff_le_log lemmas (#30229) …
Added Nat.lt_clog_iff_pow_ltView on Github →