Commit 2023-01-07 04:17 d4fbf5f6

View on Github →

feat: add Nat.le_self_pow (#1273) This is the Lean 4 version of leanprover-community/mathlib#18022

Estimated changes

Modified Mathlib/Data/Nat/Log.lean

Modified Mathlib/Data/Nat/Pow.lean

added theorem Nat.le_self_pow