Theorem Marketplace

Theorem Details

import Mathlib

theorem demo : ∀ a b : ℤ, (a + b)^2 = a^2 + 2*a*b + b^2 := by sorry

Bounty: 0.0015 ETH

Status: Open

Submit Your Proof

Back to Bounties