Database
ELEMENTARY NUMBER THEORY
Elementary prime number theory
Properties of the canonical representation of a rational
cnumer
Next ⟩
cdenom
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cnumer
Description:
Extend class notation to include canonical numerator function.
Ref
Expression
Assertion
cnumer
$${class}\mathrm{numer}$$