prev
(
testsuite
>
StrictContent
>
ArithmeticAlgebraLogic
>
forall
> rec-forall7 )
next
Sample Rendering:
Your browser's rendering
:
eq
not
forall
s
implies
in
s
suchthat
R
lambda
s
in
s
S
in
f
x
T
exists
s
and
in
s
suchthat
R
lambda
s
in
s
S
notin
f
s
T