Metamath Proof Explorer


Syntax definition cminfty

Description: Syntax for "minus infinity".

Ref Expression
Assertion cminfty
class minfty