s
L.|= s 
(
a:Assignment. sL.a |
s)
|= S (a:Assignment. a | S)sL.(
(s) = 0)sL.|= s 
|= S a:Assignment. sL.a | s a | S |= S (a:Assignment. a | S)L:Sequent List.
sL.((s) = 0) sL.|= s (a:Assignment. sL.a | s)
[3]| 1 | 6. sL.|= s (a:Assignment. sL.a | s) |= S (a:Assignment. a | S) |
About:
 |  |  |  |  |
 |  |  |  |