Metamath Proof Explorer


Syntax definition cvoln

Description: Extend class notation with the class of Lebesgue measure for the space of multidimensional real numbers.

Ref Expression
Assertion cvoln class voln