Metamath Proof Explorer


Syntax definition cmnf

Description: Minus infinity.

Ref Expression
Assertion cmnf
class -oo