sequent rank Sections ClassicalProps(jlc) Doc

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

Thm* Sequent sequent_rank_wf

In prior sections: sequent sequent equality