sequent equality Sections ClassicalProps(jlc) Doc

Def Sequent == (Formula List)(Formula List)

Thm* Discrete{Sequent} discrete__Sequent

In prior sections: sequent