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)