Metamath Proof Explorer


Syntax definition cdde

Description: Extend class notation to include the Dirac delta measure.

Ref Expression
Assertion cdde class δ