GenAutomata Sections NuprlLIB Doc

Def R preserves P == x,y:T. P(x) (x R y) P(y)

is mentioned

In prior sections: mb nat mb hybrid


GenAutomata Sections NuprlLIB Doc