Proof: Do Get Key Value 50 0

Let's prove the following theorem:

value at a in map [ entry a: 2, [ ] ] = 2

Proof:

View as a tree | View dependent proofs | Try proving it

Proof Table
# Claim Reason
1 value at a in map [ entry a: 2, [ ] ] = 2 value at a in map [ entry a: 2, [ ] ] = 2

Comments

Please log in to add comments