Database
ELEMENTARY NUMBER THEORY
Elementary properties of divisibility
Bit sequences
csmu
Next ⟩
df-bits
Metamath Proof Explorer
Ascii
Structured
Syntax definition
csmu
Description:
Define the sequence multiplication on bit sequences.
Ref
Expression
Assertion
csmu
class
smul