Fubini’s Theorem

[1] Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pak. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.10.1007/s10817-017-9440-6604425130069070Open DOISearch in Google Scholar

[2] Heinz Bauer. Measure and Integration Theory. Walter de Gruyter Inc., 2002.10.1515/9783110866209Search in Google Scholar

[3] Vladimir Igorevich Bogachev and Maria Aparecida Soares Ruas. Measure theory, volume 1. Springer, 2007.Search in Google Scholar

[4] Noboru Endou. Fubini’s theorem on measure. Formalized Mathematics, 25(1):1–29, 2017. doi:10.1515/forma-2017-0001.10.1515/forma-2017-0001Open DOISearch in Google Scholar

[5] Noboru Endou. Integral of non positive functions. Formalized Mathematics, 25(3):227–240, 2017. doi:10.1515/forma-2017-0022.10.1515/forma-2017-0022Open DOISearch in Google Scholar

[6] Noboru Endou. Fubini’s theorem for non-negative or non-positive functions. Formalized Mathematics, 26(1):49–67, 2018. doi:10.2478/forma-2018-0005.10.2478/forma-2018-0005Open DOISearch in Google Scholar

[7] Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.10.1007/s10817-015-9345-1Open DOISearch in Google Scholar

[8] P. R. Halmos. Measure Theory. Springer-Verlag, 1974.Search in Google Scholar