P
Initializing...
Fact 2.10 — $E\mapsto\mu^*(P\cap E)$ is a finite measure on Lebesgue-measurable sets · Prove2Me