(2steps) PrintForm Definitions formula Sections ClassicalProps(jlc) Doc

At: fand wf

p,q:Formula. pq Formula
By:
Unfold `fand` 0
THEN
UnivCD
Generated subgoal:

11. p: Formula
2. q: Formula
inr(inr(inl( < p,q > ))) Formula

About:
pairinlinrmemberall

(2steps) PrintForm Definitions formula Sections ClassicalProps(jlc) Doc