SUPPORTjlc Sections NuprlLIB Doc

Def p=q == (pq) (pq)

is mentioned

In prior sections: bool 1 bool 2 jlc


SUPPORTjlc Sections NuprlLIB Doc