Theorem PNat.lt_succ_self

Modification history

2025-11-18 10:56
Mathlib/Data/PNat/Basic.lean
chore: bump toolchain to v4.26.0-rc1 (#31763)
Modified PNat.lt_succ_selfView on Github →
2024-04-28 14:16
Mathlib/Data/PNat/Basic.lean
feat(PNat/Basic): add three lemmas (#12479) …
Added PNat.lt_succ_selfView on Github →