MixfixFormula.casl revision f56e4fe56fdf66d711e5fafaa71c2587dd9a066f
forall aa,ab:s . aa <= ab => p
not (s(n) <= 0)
not s(n) <= 0
i * q <= j * p
(i * q) <= (j * p)