Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Complexity theory
Upper bounds
cbigo
Next ⟩
df-bigo
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cbigo
Description:
Extend class notation with the class of the "big-O" function.
Ref
Expression
Assertion
cbigo
class
O