Theorem Nat.Subtype.lt_succ_self

Modification history

2023-01-29 23:05
Mathlib/Logic/Denumerable.lean
chore: bump lean 01-29 (#1927)
Modified Nat.Subtype.lt_succ_selfView on Github →
2023-01-20 07:09
Mathlib/Logic/Denumerable.lean
feat: port Logic.Denumerable (#1682)
Added Nat.Subtype.lt_succ_selfView on Github →