Metamath Proof Explorer


Syntax definition cbits

Description: Define the binary bits of an integer.

Ref Expression
Assertion cbits class bits