Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.card_Icc

Modification history

2022-09-08 13:17

src/data/nat/interval.lean

fix(data/nat/interval): do not dedup when implementing `finset.Icc` etc (#16423) …

Modified nat.card_Icc View on Github →

2021-10-04 08:10

src/data/nat/interval.lean

feat(data/nat/interval): finite intervals of naturals (#9507) …

Added nat.card_Icc View on Github →