Theorem ENat.not_lt_zero

Modification history

2025-12-08 18:18
Mathlib/Data/ENat/Basic.lean
chore: deprecate `ENat.not_lt_zero` in favor of `not_lt_zero` (#32381)
Deleted ENat.not_lt_zeroView on Github →
2024-08-04 12:42
Mathlib/Data/ENat/Basic.lean
feat(ENat): not_lt_zero, coe_lt_top (#15342) …
Added ENat.not_lt_zeroView on Github →