MixfixFormula.casl.output revision b55cf4375478168316b212cbc7d261fb683645ff
forall . 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
*** Error 9.1-9.11, ambiguous mixfix term
__<=__(a, __<=__(b, c))
__<=__(__<=__(a, b), c)
__<=__<=__(a, b, c)