Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
(3
= 3
)
Applied Tactic:
D 0 THENA Auto
Generated subgoals:
1
. False
(3
= 3
)