Proof: Do Get Key Value 27 0

Let's prove the following theorem:

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

Proof:

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

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

Comments

Please log in to add comments