Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-02 14:43 9b3dc417

View on Github →

feat(nat/basic): more nat.find lemmas (#6002) also merge two sections on nat.find

Estimated changes

modified theorem nat.find_eq_iff
modified theorem nat.find_eq_zero
modified theorem nat.find_le
added theorem nat.find_le_iff
added theorem nat.find_lt_iff
modified theorem nat.find_pos
added theorem nat.le_find_iff
added theorem nat.lt_find_iff