Theorem Fintype.card_Iio

Modification history

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 →