12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 04:56, 3 February 2009
, 04:56, 3 February 2009→Rule 6: correction
| <math>\operatorname{R6c.}</math>
| <math>\operatorname{R6c.}</math>
| <math>\operatorname{Conj_x^X}~ (f(x) ~=~ g(x))</math>
| <math>\operatorname{Conj_x^X}~ (f(x) ~=~ g(x))</math>
| style="border-left:1px solid black; text-align:center" | <math>\operatorname{R6c~:~D6e}</math>
| style="border-left:1px solid black; text-align:center" | <math>\operatorname{R6c~:~D6b}</math>
|}
|}
|}
|}