Is the finite measure assumption actually used in the proof of Theorem 5.20 (measure of cross section) in Axler's GTM 282? – math.stackexchange.com

I am reading Axler's Measure, Integration & Real Analysis (GTM 282) and I have a question about the proof of Theorem 5.20 (measure of cross section is a measurable function). Axler first treats ...