1 search result for "tag:"keyword:Dynkin pi-lambda theorem""
            Showing 1 - 1
          
        - 
            rocq-num-analysis-lebesgueNo documentation Lebesgue integralcategory:Math/Real Calculus and Topology date:2025-06 logpath:NumAnalysis.Lebesgue keyword:sigma-algebra keyword:monotone class theorem keyword:Dynkin theorem keyword:measure theory keyword:Lebesgue measure keyword:simple function keyword:adapted sequence keyword:Beppo Levi (monotone convergence) theorem keyword:Fatou lemma keyword:Lebesgue (dominated convergence) theorem keyword:Lebesgue induction principle keyword:Tonelli theorem keyword:Bochner integral2.0.0LGPL-3.0-or-laterUsed by 1 other packages23 Jun 2025