Help
AI3
by Javantea — Oct 2, 2012


+ −
where the rule is that whenever instances of "", and "" 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 "", and "" and "" 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 "", and "" appear on lines of a proof, "" can be placed on a subsequent line.

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

0.020 seconds.



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