Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

L:Sequent List. sL.( s = 0) sL.|= s (a:Assignment. sL.a | s)

Applied Tactic: UnivCD THENA Auto
Generated subgoals:

1. sL.|= s (a:Assignment. sL.a | s)