Theorem: Hw7.square_formula (BrownCs22/Homework/Hw7.lean)

State before:
⊢ ∀ (n : ℕ), recursive_square n = n * n
Tactic:
sorry
State after:
no goals