Proof: Do Get Key Value 7 0

Let's prove the following theorem:

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

Proof:

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

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

Comments

Please log in to add comments