Theorem Fintype.card_finset_len

Modification history

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