measurable_embedding.integral_map source