Theorem: Imo2008P5.even_subsets_card (Compfiles/Imo2008P5.lean)

State before:
α : Type
inst✝ : Fintype α
⊢ Fintype.card { s // Even s.card } = 2 ^ (Fintype.card α - 1)
Tactic:
sorry
State after:
no goals