Theorem PartENat.lt_coe_succ_iff_le

Modification history

2023-08-01 19:57

Mathlib/Data/Nat/PartENat.lean

chore: tidy various files (#6274)

Modified PartENat.lt_coe_succ_iff_le View on Github →

2023-06-26 11:36

Mathlib/Data/Nat/PartENat.lean

feat(SetTheory/Cardinal/Finite): prove lemmas about PartENat.card (#5307) …

Added PartENat.lt_coe_succ_iff_le View on Github →