Proof: Do Element At 39 0

Let's prove the following theorem:

the element at index 0 of stack [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ] = {"ES": "Estonia", "MX": "Mexico"}

Proof:

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

Proof Table
# Claim Reason
1 the element at index 0 of stack [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ] = {"ES": "Estonia", "MX": "Mexico"} the element at index 0 of stack [ {"ES": "Estonia", "MX": "Mexico"}, [ ] ] = {"ES": "Estonia", "MX": "Mexico"}

Comments

Please log in to add comments