Theorem Fintype.card_Iio

Modification history

2026-04-11 09:33
Mathlib/Order/Interval/Finset/Defs.lean
chore(Order/Interval/Finset/Defs): use `to_dual` (#37837) …
Deleted Fintype.card_IioView on Github →
2025-03-29 16:54
Mathlib/Order/Interval/Finset/Defs.lean
chore(Order/Interval): add `Fintype.card_Ixx` (#23422) …
Added Fintype.card_IioView on Github →