Theorem Nat.pow_lt_of_lt_clog

Modification history

2025-11-24 15:41
Mathlib/Data/Nat/Log.lean
refactor(Nat/Log): redefine `Nat.log` and `Nat.clog` (#31990) …
Added Nat.pow_lt_of_lt_clogView on Github →