Theorem Marketplace

Theorem Details

theorem self_eq_self (n : Nat) : n + 1 = n + 1:=
  sorry

Bounty: 0.0003 ETH

Status: Closed

Proof

theorem self_eq_self (n : Nat) : n + 1 = n + 1:=
  rfl

Back to Bounties