sequent falsification Sections ClassicalProps(jlc) Doc

H Def s.H == s.1

Thm* s:Sequent. s.H Formula List

About:
!abstractionspreadallmemberlist