Metamath Proof Explorer


Syntax definition coms

Description: Class declaration for the outer measure construction function.

Ref Expression
Assertion coms class toOMeas