boisgera / CDIS

Calcul Différentiel, Intégral et Stochastique
Other
15 stars 24 forks source link

Tonelli #139

Closed boisgera closed 4 years ago

boisgera commented 4 years ago

La formulation actuelle n'assure par la mesurabilté de la fonction marginalisée, qui est automatique. A ajouter (cf par exemple https://www.imo.universite-paris-saclay.fr/~merker/Enseignement/Integration/fubini-tonelli.pdf p.8)