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

At: fimp wf 1
1. p: Formula
2. q: Formula

inr(inr(inr(inr( < p,q > )))) Formula
By: RecMemberFormulaCD
Generated subgoals:

None

About:
pairinrmember

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