Fubini's theorem for non-negative or non-positive functions
type: Item
instance of: scholarly article
title: Fubini's theorem for non-negative or non-positive functions
zbMATH Open document ID: 1401.28007
author: Noboru Endou
published in: Formalized Mathematics
publication date: 2018-10-17T00:00:00Z
Mathematics Subject Classification ID: 28A35
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6957525
zbMATH Keywords: Fubini' s theorem
zbMATH Keywords: extended real-valued non-negative (or non-positive) measurable function
describes a project that uses: Isabelle/HOL
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: forma-2018-0005
OpenAlex ID: W2887941005
cites work: Mizar: State-of-the-art and Beyond
cites work: Probability theory
cites work: Product pre-measure
cites work: Fubini's theorem on measure
cites work: Four decades of {\textsc{Mizar}}. Foreword
cites work: Q4769223
cites work: Three Chapters of Measure Theory in Isabelle/HOL
cites work: On \(L^1\) space formed by complex-valued partial functions
DOI: 10.2478/FORMA-2018-0005
Wikidata QID: Q129477307
description: scientific article; zbMATH DE number 6957525