Theorem Int.toNat_of_nonpos

Modification history

2025-03-03 14:53
Mathlib/Data/Int/Cast/Basic.lean
chore: bump toolchain to v4.18.0-rc1 (#22500) …
Deleted Int.toNat_of_nonposView on Github →
2025-02-13 18:08
Mathlib/Data/Int/Cast/Basic.lean
chore: reduce imports of Algebra.Order.Floor (#21805)
Modified Int.toNat_of_nonposView on Github →
2023-01-02 18:09
Mathlib/Data/Int/Lemmas.lean
feat: port data.int.lemmas (#1271) …
Added Int.toNat_of_nonposView on Github →