MarkB generic Sections NuprlLIB Doc

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

is mentioned

In prior sections: mb nat


MarkB generic Sections NuprlLIB Doc