Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
T:
. {T
}
T
T
Applied Tactic:
D 0 THENA Auto
Generated subgoals:
1
. {T
}
T
T
T:
. {T
} 
T 
T 
} T T