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