πŸ”’

Induction proofs with recursive formulas (sequences)