Theorem Marketplace

Theorem Details

theorem self_eq_self (n : Nat) : 2 * n = 2 * n :=
  sorry

Bounty: 0.0025 ETH

Status: Closed

Proof

theorem self_eq_self (n : Nat) : 2 * n = 2 * n := rfl

Back to Bounties