fact: Definition IntegrableZero {IS : IntegrationSpace} : IntegrableFunction (Xconst (X (ElemFunc IS)) 0).
imports: QArith ConstructiveReals ConstructiveAbs ConstructiveMinMax ConstructiveSum ConstructiveLimits ConstructivePartialFunctions CMTbase