Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-04-09 12:44 63fc23a6

View on Github →

feat(data/list): chain_iff_nth_le (#2354)

  • feat(data/list): chain_iff_nth_le
  • Update src/data/list/basic.lean Co-Authored-By: Johan Commelin johan@commelin.net
  • move
  • fix

Estimated changes

added theorem list.chain'_iff_nth_le
added theorem list.chain_iff_nth_le
added theorem nat.lt_of_lt_pred