Theorem Marketplace

Theorem Details

theorem demo : ∀ n m : Nat, n + m = m + n := by sorry

Bounty: 0.0009 ETH

Status: Open

Submit Your Proof

Back to Bounties