Theorem Marketplace

Theorem Details

-- commutativity of addition

theorem add_comm (a b : Nat) : a + b = b + a := by sorry

Bounty: 0.05 ETH

Status: Open

Submit Your Proof

Back to Bounties