Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Abstract measure
Caratheodory's extension theorem
coms
Next ⟩
df-oms
Metamath Proof Explorer
Ascii
Structured
Syntax definition
coms
Description:
Class declaration for the outer measure construction function.
Ref
Expression
Assertion
coms
class
toOMeas