Database
REAL AND COMPLEX NUMBERS
Integer sets
Decimal representation of numbers
c5
Next ⟩
c6
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
c5
Description:
Extend class notation to include the number 5.
Ref
Expression
Assertion
c5
class
5