WhoCites Definitions formula Sections ClassicalProps(jlc) Doc

Who Cites fand?
fandDef pq == inr(inr(inl( < p,q > )))
Thm* p,q:Formula. pq Formula

Syntax:pq has structure: fand(p; q)

About:
pairinlinrmemberall!abstraction

WhoCites Definitions formula Sections ClassicalProps(jlc) Doc