User:Mathieu/Test
From Event-B
< User:Mathieu
Jump to navigationJump to searchRevision as of 16:03, 2 September 2008 by imported>Mathieu (New page: <center> {| |<math>(-E)*\ldots*(-F)\;==\; E*\ldots*F </math> (if an even number of -) |- |<math>(-E)*\ldots*(-F)\;==\; -\,(E*\ldots*F) </math> (if an odd number of -) |} <math> \frac{...)
(if an even number of -) |
(if an odd number of -) |
HYP |