ElisTarskiPf A Sections NuprlLIB Doc

Def P Q == Q P

is mentioned

In prior sections: core


ElisTarskiPf A Sections NuprlLIB Doc