Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
p,q:Formula. p
q
Formula
Applied Tactic:
UnivCD THENA Auto
Generated subgoals:
1
. p
q
Formula