Theorem Nat.one_lt_pow

Modification history

2024-03-26 23:09

Mathlib/Data/Nat/Defs.lean

chore(Data/Nat): Use Std lemmas (#11661) …

Modified Nat.one_lt_pow View on Github →

2023-12-18 07:15

Mathlib/Data/Nat/Pow.lean

chore: Rename pow monotonicity lemmas (#9095) …

Modified Nat.one_lt_pow View on Github →

2022-12-16 03:06

Mathlib/Data/Nat/Pow.lean

feat port Data.Nat.Pow (#1050) …

Added Nat.one_lt_pow View on Github →