Theorem ENat.toNat_eq_zero

Modification history

2025-02-13 07:36

Mathlib/Data/ENat/Basic.lean

chore(WithBot): rename `unbot'` to `unbotD` (#21532)

Modified ENat.toNat_eq_zero View on Github →

2024-02-14 06:30

Mathlib/Data/ENat/Basic.lean

feat(ENat): add several lemmas (#10508) …

Added ENat.toNat_eq_zero View on Github →