WhoCites
Definitions
bool
2
jlc
Sections
Support(jlc)
Doc
Who Cites bnot?
bnot
Def
b == if b
false
else true
fi
Thm*
b:
.
b
Syntax:
b
has structure:
bnot(b)
About:
WhoCites
Definitions
bool
2
jlc
Sections
Support(jlc)
Doc
b == if b
false else true fi
b:
. b 
b == if b false else true fib:. b b
