Integral of Continuous Three Variable Functions

In this article we continue our proofs on integrals of continuous functions of three variables in Mizar. In fact, we use similar techniques as in the case of two variables: we deal with projections of continuous function, the continuity of three variable functions in general, aiming at pure real-valued functions (not necessarily extended real-valued functions), concluding with integrability and iterated integrals of continuous functions of three variables.