[isabelle] Integral in Isabelle



Hi

Please I have to use integration from 0 to infinity for a function as
bellow:


u =  (sqrt (â (0 -> inf). x(t)^2 dt)) < inf   for all t  and x(t) is
element in a set.


I tried to find integration in the theories and I found:
"Interval_Integral" and "Set_Integral".

but there are alot of lemmas so please which one is more suitable for this
case?


Regards
Omar



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