[isabelle] Integration by substitution



Hello All,
I would like to know whether the integration by substitution identity was
proven for the gauge integral (or some special cases) in the multivariate
analysis library.
Best,
Mohammad



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.