Proof: Do Get Key Value 12 0

Let's prove the following theorem:

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

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", False)), [ ] ] = pair ("if", False) value at 0 in map [ entry 0: (pair ("if", False)), [ ] ] = pair ("if", False)

Comments

Please log in to add comments