Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
3
Applied Tactic:
Unfolds ``Three_2 Three`` 0 THEN Auto
Generated subgoals:
None
3
