GenAutomata Sections NuprlLIB Doc

Def == {i:| i 0 }

is mentioned

In prior sections: int 1 int 2 num thy 1


GenAutomata Sections NuprlLIB Doc