prev
(
testsuite
>
StrictContent
>
ArithmeticAlgebraLogic
>
forall
> rec-forall4 )
next
Sample Rendering:
Your browser's rendering
:
forall
n
implies
in
n
suchthat
R
lambda
n
and
gt
n
0
in
n
Z
exists
x
y
z
and
in
x
y
z
suchthat
R
lambda
x
y
z
and
in
x
Z
in
y
Z
in
z
Z
eq
plus
power
x
n
power
y
n
power
z
n