Database
ELEMENTARY NUMBER THEORY
Elementary prime number theory
Properties of the canonical representation of a rational
cdenom
Next ⟩
df-numer
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cdenom
Description:
Extend class notation to include canonical denominator function.
Ref
Expression
Assertion
cdenom
class
denom