S_Finite_Measure_Monad Dependents

Disintegration Theorem

by Michikazu Hirata