Line 556: |
Line 556: |
| | [[Image:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png|500px]] | | | [[Image:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png|500px]] |
| |- | | |- |
− | | [[Image:Two-Thirds Majority Eq 1 Pf 1 Storyboard 1.png|500px]] | + | | [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 1.png|500px]] |
| |- | | |- |
| | [[Image:Equational Inference Bar Reflect ab, ac, bc.png|500px]] | | | [[Image:Equational Inference Bar Reflect ab, ac, bc.png|500px]] |
| |- | | |- |
− | | [[Image:Two-Thirds Majority Eq 1 Pf 1 Storyboard 2.png|500px]] | + | | [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 2.png|500px]] |
| |- | | |- |
| | [[Image:Equational Inference Bar Distribute (abc).png|500px]] | | | [[Image:Equational Inference Bar Distribute (abc).png|500px]] |
| |- | | |- |
− | | [[Image:Two-Thirds Majority Eq 1 Pf 1 Storyboard 3.png|500px]] | + | | [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 3.png|500px]] |
| |- | | |- |
| | [[Image:Equational Inference Bar Collect ab, ac, bc.png|500px]] | | | [[Image:Equational Inference Bar Collect ab, ac, bc.png|500px]] |
| |- | | |- |
− | | [[Image:Two-Thirds Majority Eq 1 Pf 1 Storyboard 4.png|500px]] | + | | [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 4.png|500px]] |
| |- | | |- |
| | [[Image:Equational Inference Bar Quit (a), (b), (c).png|500px]] | | | [[Image:Equational Inference Bar Quit (a), (b), (c).png|500px]] |
| |- | | |- |
− | | [[Image:Two-Thirds Majority Eq 1 Pf 1 Storyboard 5.png|500px]] | + | | [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 5.png|500px]] |
| |- | | |- |
| | [[Image:Equational Inference Bar Cancel (( )).png|500px]] | | | [[Image:Equational Inference Bar Cancel (( )).png|500px]] |
| |- | | |- |
− | | [[Image:Two-Thirds Majority Eq 1 Pf 1 Storyboard 6.png|500px]] | + | | [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 6.png|500px]] |
| |- | | |- |
| | [[Image:Equational Inference Bar Weed ab, ac, bc.png|500px]] | | | [[Image:Equational Inference Bar Weed ab, ac, bc.png|500px]] |
| |- | | |- |
− | | [[Image:Two-Thirds Majority Eq 1 Pf 1 Storyboard 7.png|500px]] | + | | [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 7.png|500px]] |
| |- | | |- |
| | [[Image:Equational Inference Bar Delete a, b, c.png|500px]] | | | [[Image:Equational Inference Bar Delete a, b, c.png|500px]] |
| |- | | |- |
− | | [[Image:Two-Thirds Majority Eq 1 Pf 1 Storyboard 8.png|500px]] | + | | [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 8.png|500px]] |
| |- | | |- |
| | [[Image:Equational Inference Bar Cancel (( )).png|500px]] | | | [[Image:Equational Inference Bar Cancel (( )).png|500px]] |
| |- | | |- |
− | | [[Image:Two-Thirds Majority Eq 1 Pf 1 Storyboard 9.png|500px]] | + | | [[Image:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 9.png|500px]] |
| |- | | |- |
| | [[Image:Equational Inference Banner QED.png|500px]] | | | [[Image:Equational Inference Banner QED.png|500px]] |