Metamath Proof Explorer


Syntax definition cmbfm

Description: Extend class notation with the measurable functions builder.

Ref Expression
Assertion cmbfm class MblFnM