Proof: Do Pre Extend 23 0

Let's prove the following theorem:

reverse and insert [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ] to the beginning of [ ] = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ]

Proof:

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

Proof Table

#	Claim	Reason
1	reverse and insert [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ] to the beginning of [ ] = reverse and insert [ ] to the beginning of [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ]	reverse and insert [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ] to the beginning of [ ] = reverse and insert [ ] to the beginning of [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ] (Pre-extend)
2	reverse and insert [ ] to the beginning of [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ] = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ]	reverse and insert [ ] to the beginning of [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ] = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ] (Pre-extend (3))
3	reverse and insert [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ] to the beginning of [ ] = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ]	reverse and insert [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ] to the beginning of [ ] = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ] (Pre-extend (2))

Comments

Please log in to add comments