Theorem: alt_binomial_symmetry (BrownCs22/Homework/Hw8.lean)

State before:
⊢ ∀ (n k : ℕ), k ≤ n → (n A k) = (n A n - k)
Tactic:
sorry
State after:
no goals