formula Sections ClassicalProps(jlc) Doc

Def pq == inr(inr(inr(inl( < p,q > ))))

is not mentioned in this or prior sections.

Try larger context: ClassicalProps(jlc)

formula Sections ClassicalProps(jlc) Doc