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