sequent
valid
Sections
ClassicalProps(jlc)
Doc
Def
a |= S ==
F
S.H.a |
F
F
S.C.a |= F
In prior sections:
sequent
satisfaction
sequent
sat
lemmas
full
sequent
assignment
F
S.H.a |
F 
FS.C.a |= F