theorem extracted_formal_statement_0 (n : ℕ) : Fintype.card (Signs n) = 2 ^ n := sorry

State before:
n : ℕ
⊢ Fintype.card (Signs n) = 2 ^ n

Tactic: simp [Signs]

State after:

Relevant lemmas: