@MISC{MESFUN13.MIZ,
  AUTHOR = {Endou, Noboru},
  TITLE = {Fubini's Theorem},
  DAY = {11},
  MONTH = {March},
  YEAR = {2019},
  ADDRESS1 = {National Institute of Technology, Gifu College\\2236-2 Kamimakuwa, Motosu, Gifu, Japan},
  SECTION1 = {Preliminaries},
  SECTION2 = {Markov's inequality and Misc.},
  SECTION3 = {Fubini's Theorem},
  SUMMARY = {Fubini theorem is an essential tool for the analysis
  of high-dimensional space \cite{Halmos74}, \cite{Bauer:2002},
  \cite{Bogachev2007measure}, a theorem about the multiple
  integral and iterated integral. The authors have been working on
  formalizing Fubini's theorem over the past few years
  \cite{MEASUR11.ABS}, \cite{MESFUN12.ABS}. As a result, Fubini's theorem
  was proved in complete form by this article.}}

