Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pi.card_Ici

Modification history

2023-07-14 19:58
src/data/pi/interval.lean
feat(data/*/interval): `finset.uIcc` on concrete structures (#18838) …
Modified pi.card_IciView on Github →
2022-10-30 21:46
src/data/pi/interval.lean
chore(data/finset/locally_finite): add more lemmas about one-sided intervals (#17033) …
Added pi.card_IciView on Github →