Database
ELEMENTARY NUMBER THEORY
Elementary properties of divisibility
The least common multiple
clcm
Next ⟩
clcmf
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
clcm
Description:
Extend the definition of a class to include the least common multiple operator.
Ref
Expression
Assertion
clcm
class
lcm