sequent falsification Sections ClassicalProps(jlc) Doc

C Def s.C == s.2

Thm* s:Sequent. s.C Formula List

About:
!abstractionspreadallmemberlist