πŸ”’

Induction proofs with binomial coefficients