MixfixFormula.casl.output revision 98b443335df9c77328edb9dbf3ed565535317249
forall . aa <= ab => p
*** Error 1.21, unexpected mixfix token: <=
*** Error 1.14, unknown type 's'
*** Error 1.14, unknown type 's'
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
*** Error 9.1-9.11,
ambiguous mixfix term
a <= (b <= c)
(a <= b) <= c
a <= b <= c