MixfixFormula.casl revision accab0bf9b8aa690d70174f41fe94370323959b9
a9de0a2f34860a24f457c777e740b7e87e6e3827Christian Maederforall aa,ab:s . aa <= ab => p
6ea54752d184beb92c92fbae17ae9f7dd065d988Christian Maedernot (s(n) <= 0)
6ea54752d184beb92c92fbae17ae9f7dd065d988Christian Maederi * q <= j * p
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder(i * q) <= (j * p)
2eeec5240b424984e3ee26296da1eeab6c6d739eChristian Maederc * (a + b) = (c * a) + (c * b)
306763c67bb99228487345b32ab8c5c6cd41f23cChristian Maeder(a + b) * c = (a * c) + (b * c)