MixfixFormula.casl 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)