WhoCites
Definitions
mb
structures
Sections
GenAutomata
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
mb
structures
Sections
GenAutomata
Doc
b == if b
false else true fi
b:
. b 
b == if b false else true fib:. b b
