fact: Hypothesis P_LocallyParamIntegrable : forall n f e, P (LocallyParamIntegrable n f e).
imports: Coq(Reals Datatypes ssreflect ssrbool) mathcomp(seq) Rcomplements Hierarchy Derive RInt RInt_analysis Derive_2d Continuity ElemFct