MixfixFormula.casl.output revision a91ba3a25448d1aa24aaa6f094316334187084d5
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
a <= b <= c
even A x
even A x