Theorem Fintype.card_Ioi

Modification history

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