GenAutomata Sections NuprlLIB Doc

Def (R^*)(x,y) == n:. x R^n y

is mentioned

In prior sections: mb nat mb list 1 mb list 2 mb hybrid


GenAutomata Sections NuprlLIB Doc