Theorem Int.toNat_lt''

Modification history

2025-06-04 10:11
Mathlib/Data/Int/Init.lean
chore(Data): remove primes from names (#25163) …
Deleted Int.toNat_lt''View on Github →
2025-05-02 23:00
Mathlib/Data/Int/Init.lean
chore: bump toolchain to v4.20.0-rc2 (#24561)
Modified Int.toNat_lt''View on Github →
2025-04-03 05:22
Mathlib/Data/Int/Init.lean
chore: bump toolchain to v4.19.0-rc2 (#23614)
Added Int.toNat_lt''View on Github →