Commit 2023-12-05 16:55 55a024a3
View on Github →feat: pi-systems generating the product sigma algebra (#7566)
We define pi-systems of cylinders and prove that they generate MeasurableSpace.pi.
From the Kolmogorov extension theorem project.
feat: pi-systems generating the product sigma algebra (#7566)
We define pi-systems of cylinders and prove that they generate MeasurableSpace.pi.
From the Kolmogorov extension theorem project.