Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-31 09:14 4068d005

View on Github →

feat(data/nat): simp rules for find_greatest

Estimated changes

Modified data/nat/basic.lean

added theorem nat.find_greatest_eq

added theorem nat.find_greatest_of_not

added theorem nat.find_greatest_zero