Proof: Do Get Key Value 15 0

Let's prove the following theorem:

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

Proof:

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

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

Comments

Please log in to add comments