Definitions
MarkB
generic
Sections
NuprlLIB
Doc
No other cites to report in MarkB_generic
lele
Def i
j
k == i
j & j
k
le
Def
A
B ==
B < A
Thm*
i,j:
. (i
j)
Prop
not
Def
A == A
False
Thm*
A:Prop. (
A)
Prop
Syntax:
i
j
k
has structure:
lele(i; j; k)
About:
Definitions
MarkB
generic
Sections
NuprlLIB
Doc