Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Integration
Bochner integral
csitm
Next ⟩
csitg
Metamath Proof Explorer
Ascii
Structured
Syntax definition
csitm
Description:
Extend class notation with the integral metric for simple functions.
Ref
Expression
Assertion
csitm
class
sitm