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