Fubini’s Theorem for Non-Negative or Non-Positive Functions
The goal of this article is to show Fubini’s theorem for non-negative or non-positive measurable functions [10], [2], [3], using the Mizar system [1], [9]. We formalized Fubini’s theorem in our previous article [5], but in that case we showed the Fubini’s theorem for measurable sets and it was not e...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2018-04-01
|
| Series: | Formalized Mathematics |
| Subjects: | |
| Online Access: | http://www.degruyter.com/view/j/forma.2018.26.issue-1/forma-2018-0005/forma-2018-0005.xml?format=INT |