eqs3lem
Theorem.
Arguments:
(sv),
(st),
(pr),
Assertions:
(
((
)
)
((
)
))
Proof:
Hyp
Ref
Line
Expr
alnan.ex
1
(
((
)
)
((
)
))
1
conb>i
2
(
((
)
)
((
)
))
(sv), 
(st), 
(pr), (sv), (st), (pr), 
((
)
)
(()
))(())(()))(())(()))