Fubini's theorem for non-negative or non-positive functions
From MaRDI portal
Publication:1796769
DOI10.2478/forma-2018-0005zbMath1401.28007OpenAlexW2887941005MaRDI QIDQ1796769
Publication date: 17 October 2018
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2018-0005
Mechanization of proofs and logical operations (03B35) Measures and integrals in product spaces (28A35)
Related Items (1)
Uses Software
Cites Work
This page was built for publication: Fubini's theorem for non-negative or non-positive functions