Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
T:
.
a:ActionSet(T). a.car
Applied Tactic:
ModulePiTac 2 ``aset_car aset_act``
Generated subgoals:
None
T:
. a:ActionSet(T). a.car 