Theorem Fin.card_filter_val_lt

Modification history

2026-01-24 18:35
Mathlib/Data/Fintype/Fin.lean
feat(Data/Fintype/Fin): count elements of `Fin n` below a natural bound (#34352) …
Added Fin.card_filter_val_ltView on Github →