WhoCites Definitions formula Sections ClassicalProps(jlc) Doc

Who Cites fimp?
fimpDef pq == inr(inr(inr(inr( < p,q > ))))
Thm* p,q:Formula. pq Formula

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

About:
pairinrmemberall!abstraction

WhoCites Definitions formula Sections ClassicalProps(jlc) Doc