Theorem Fintype.card_set

Modification history

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