12,080
edits
Changes
→Two-thirds majority function: the wrong version, of course
| [[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]]