Nuprl - Pf zero_rank_valid_or

1. L: Sequent List
2. eqS: {Sequent=}
3. eqF: {Formula=}
4. sL.((s) = 0)

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

By: Decide sL.disjoint(eqF;s.H;s.C)

Generated subgoals:

1 5. sL.disjoint(eqF;s.H;s.C)
sL.|= s (a:Assignment. sL.a | s)

2 5. sL.disjoint(eqF;s.H;s.C)
sL.|= s (a:Assignment. sL.a | s)

About:

1	5. `sL.disjoint(eqF;s.H;s.C)` `sL.\|= s (a:Assignment. sL.a \| s)`
2	5. `sL.disjoint(eqF;s.H;s.C)` `sL.\|= s (a:Assignment. sL.a \| s)`