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