Über diesen Artikel
Online veröffentlicht: 20. März 2009
Seitenbereich: 51 - 55
DOI: https://doi.org/10.2478/v10037-008-0008-0
This content is open access.
In this article, we prove the first mean value theorem for integrals [16]. The formalization of various theorems about the properties of the Lebesgue integral is also presented.
MML identifier: MESFUNC7, version: 7.8.09 4.97.1001