Metamath Proof Explorer


Syntax definition cfractemp

Description: Syntax for the fractional part of a tempopary real.

Ref Expression
Assertion cfractemp
class {R