Measurable functional calculus

Summary