Metamath Proof Explorer


Syntax definition cspc

Description: Extend class notation with the spectrum of an operator.

Ref Expression
Assertion cspc
class Lambda