Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.le_zero_iff

Modification history

2022-08-24 07:00

src/data/nat/basic.lean

chore(algebra/order/with_zero): Move unrelated lemmas (#15676) …

Deleted nat.le_zero_iff View on Github →

2017-09-17 15:38

data/nat/basic.lean

feat(data/nat): better sqrt + pairing, prime numbers, renames...

Modified nat.le_zero_iff View on Github →

2017-08-10 16:36

data/nat/basic.lean

construct reals as complete, linear ordered field

Added nat.le_zero_iff View on Github →