PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: NDA act wf

Alph,States:Type, n:NDA(Alph;States). n StatesAlphStatesProp
By: ModulePiTac 3 [`NDA_act`;`NDA_init`;`NDA_fin`]
Generated subgoals:

None

About:
alluniversememberfunctionprop