GenAutomata Sections NuprlLIB Doc

Def R1 = > R2 == x,y:T. (x R1 y) (x R2 y)

is mentioned

In prior sections: mb nat


GenAutomata Sections NuprlLIB Doc