WhoCites Definitions formula Sections ClassicalProps(jlc) Doc

Who Cites f or?
f_orDef pq == inr(inr(inr(inl( < p,q > ))))
Thm* p,q:Formula. pq Formula

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

About:
pairinlinrmemberall!abstraction

WhoCites Definitions formula Sections ClassicalProps(jlc) Doc