Proof: Do Get Key Value 23 0

Let's prove the following theorem:

value at 0 in map [ entry 0: (pair ("while", 2)), [ ] ] = pair ("while", 2)

Proof:

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

Proof Table
# Claim Reason
1 value at 0 in map [ entry 0: (pair ("while", 2)), [ ] ] = pair ("while", 2) value at 0 in map [ entry 0: (pair ("while", 2)), [ ] ] = pair ("while", 2)

Comments

Please log in to add comments