Proof: Do Get Key Value 13 0

Let's prove the following theorem:

value at 0 in map [ entry 0: (pair ("if", True)), [ ] ] = pair ("if", True)

Proof:

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

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

Comments

Please log in to add comments