WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites b2i?
b2iDef b2i(b) == if b 1 else 0 fi
Thm* b:. b2i(b)

About:
boolifthenelseintnatural_numbermemberall!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc