Standard_Borel_Spaces Dependents

Disintegration Theorem

by Michikazu Hirata

S-Finite Measure Monad on Quasi-Borel Spaces

by Michikazu Hirata and Yasuhiko Minamide