Metamath Proof Explorer


Syntax definition cmea

Description: Extend class notation with the class of measures.

Ref Expression
Assertion cmea
class Meas