Level:
Lib
Thy
Top
:
1
Hypotheses:
q :
0 = 0
Conclusion:
0
Applied Tactic:
Auto
Generated subgoals:
None
0 