Metamath Proof Explorer


Syntax definition cbigo

Description: Extend class notation with the class of the "big-O" function.

Ref Expression
Assertion cbigo class O