Theorem Fintype.card_Ico

Modification history

2025-03-29 16:54
Mathlib/Order/Interval/Finset/Defs.lean
chore(Order/Interval): add `Fintype.card_Ixx` (#23422) …
Added Fintype.card_IcoView on Github →