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