Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-17 01:34 6b1ab646

View on Github →

Add lemma for injective pow (#1683)

  • Add lemma for injective pow
  • Rename lemma and remove spaces
  • Use strict-mono for monotonic pow
  • Rename iff statements
  • Add left injective pow as well

Estimated changes

added theorem nat.pow_le_iff_le_left
added theorem nat.pow_left_injective
added theorem nat.pow_lt_iff_lt_left