PrintForm Definitions action sets Sections AutomataTheory Doc

At: aset car wf

T:Type, a:ActionSet(T). a.car Type
By: ModulePiTac 2 [`aset_car`;`aset_act`]
Generated subgoals:

None

About:
alluniversemember