Theorem Fintype.card_finset

Modification history

2023-01-19 14:49
Mathlib/Data/Fintype/Powerset.lean
feat: port Data.Fintype.Powerset (#1678)
Added Fintype.card_finsetView on Github →