Database
BASIC REAL AND COMPLEX ANALYSIS
Integrals
Lebesgue measure
covol
Next ⟩
cvol
Metamath Proof Explorer
Unicode
Structured
Syntax definition
covol
Description:
Extend class notation with the outer Lebesgue measure.
Ref
Expression
Assertion
covol
class vol*