Proof: Do Push Stack 39 0

Let's prove the following theorem:

result of dumping [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] to [ ] = [ {"ES": "Spain", "MX": "Mexico"}, [ ] ]

Proof:

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

Proof Table
# Claim Reason
1 result of dumping [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] to [ ] = result of dumping [ ] to [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] result of dumping [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] to [ ] = result of dumping [ ] to [ {"ES": "Spain", "MX": "Mexico"}, [ ] ]
2 result of dumping [ ] to [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] = [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] result of dumping [ ] to [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] = [ {"ES": "Spain", "MX": "Mexico"}, [ ] ]
3 result of dumping [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] to [ ] = [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] result of dumping [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] to [ ] = [ {"ES": "Spain", "MX": "Mexico"}, [ ] ]

Comments

Please log in to add comments