WhoCites
Definitions
GenAutomata
Sections
NuprlLIB
Doc
Who Cites b2i?
b2i
Def b2i(b) == if b
1 else 0 fi
Thm*
b:
. b2i(b)
About:
WhoCites
Definitions
GenAutomata
Sections
NuprlLIB
Doc
1 else 0 fi
b:
. b2i(b) 
1 else 0 fib:. b2i(b) 
