Theorem Nat.le_pow_iff_clog_le

Modification history

2025-10-06 22:42

Mathlib/Data/Nat/Log.lean

chore(Nat/Log): swap Nat.pow_le_iff_le_log lemmas (#30229) …

Modified Nat.le_pow_iff_clog_le View on Github →

2022-12-19 15:36

Mathlib/Data/Nat/Log.lean

feat: port Data.Nat.Log (#1089) …

Added Nat.le_pow_iff_clog_le View on Github →