WhoCites
Definitions
MarkB
generic
Sections
NuprlLIB
Doc
Who Cites implies?
implies
Def P
Q == P
Q
Syntax:
P
Q
has structure:
implies(P; Q)
About:
WhoCites
Definitions
MarkB
generic
Sections
NuprlLIB
Doc