Database
ELEMENTARY NUMBER THEORY
Elementary properties of divisibility
Bit sequences
cbits
Next ⟩
csad
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cbits
Description:
Define the binary bits of an integer.
Ref
Expression
Assertion
cbits
class bits