Help
AI3
by Javantea — Oct 2, 2012


+ −
where the rule is that whenever instances of "" appear on lines of a proof, "" can be placed on a subsequent line.

Edit
Promote Demote Fragment Fix

+ −
where the rule is that whenever instances of "" appear on lines of a proof, either "" or "" can be placed on a subsequent line by itself.

Edit
Promote Demote Fragment Fix
« More previous Okay Cancel More next »

0.003 seconds.



Most text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply.