WhoCites Definitions formula Sections ClassicalProps(jlc) Doc

Who Cites fnot?
fnotDef p == inr(inl(p))
Thm* x:Formula. x Formula

Syntax:p has structure: fnot(p)

About:
inlinrmemberall!abstraction

WhoCites Definitions formula Sections ClassicalProps(jlc) Doc