Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
S:Sequent. |= S
(
a:Assignment. a |
S)
Applied Tactic:
D 0 THENA Auto
Generated subgoals:
1
. |= S
(
a:Assignment. a |
S)
S:Sequent. |= S 
(
a:Assignment. a |
S) (a:Assignment. a | S)