Database
REAL AND COMPLEX NUMBERS
Elementary limits and convergence
Limits
co1
Next ⟩
clo1
Metamath Proof Explorer
Ascii
Structured
Syntax definition
co1
Description:
Extend class notation with the set of all eventually bounded functions.
Ref
Expression
Assertion
co1
class
𝑂(1)