Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.find_eq_zero

Modification history

2021-02-02 14:43

src/data/nat/basic.lean

feat(nat/basic): more nat.find lemmas (#6002) …

Modified nat.find_eq_zero View on Github →

2020-06-28 08:10

src/data/nat/basic.lean

feat(nat, lattice): preliminaries for Haar measure (#3190) …

Added nat.find_eq_zero View on Github →