MixfixFormula.casl.output revision accab0bf9b8aa690d70174f41fe94370323959b9
forall aa, ab:s . aa <= ab => p
not s(n) <= 0
not s(n) <= 0
s(n) <= 0
(i * q) <= (j * p)
(i * q) <= (j * p)
c * (a + b) = c * a + c * b
(a + b) * c = a * c + b * c