\relax 
\providecommand\zref@newlabel[2]{}
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{toc}{\contentsline {section}{\numberline {1}Lecture 5 -- Simple and Measurable Functions}{1}{section.1}\protected@file@percent }
\newlabel{sec:lec05}{{1}{1}{Lecture 5 -- Simple and Measurable Functions}{section.1}{}}
\newlabel{sec:lec05@cref}{{[section][1][]1}{[1][1][]1}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Simple functions and simple random variables}{1}{subsection.1.1}\protected@file@percent }
\newlabel{def:simple-rv}{{1.1}{1}{Simple random variable}{tcb@cnt@definition.1.1}{}}
\newlabel{def:simple-rv@cref}{{[tcb@cnt@definition][1][1]1.1}{[1][1][]1}{}{}{}}
\newlabel{def:simple-fn}{{1.2}{2}{Simple function and its integral}{tcb@cnt@definition.1.2}{}}
\newlabel{def:simple-fn@cref}{{[tcb@cnt@definition][2][1]1.2}{[1][1][]2}{}{}{}}
\newlabel{prop:simple-algebra}{{1.3}{2}{Algebra of simple functions}{tcb@cnt@definition.1.3}{}}
\newlabel{prop:simple-algebra@cref}{{[tcb@cnt@definition][3][1]1.3}{[1][2][]2}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Measurable functions}{2}{subsection.1.2}\protected@file@percent }
\newlabel{def:measurable-fn}{{1.4}{2}{Measurable function}{tcb@cnt@definition.1.4}{}}
\newlabel{def:measurable-fn@cref}{{[tcb@cnt@definition][4][1]1.4}{[1][2][]2}{}{}{}}
\newlabel{prop:measurable-generator}{{1.5}{3}{Measurability via a generator}{tcb@cnt@definition.1.5}{}}
\newlabel{prop:measurable-generator@cref}{{[tcb@cnt@definition][5][1]1.5}{[1][2][]3}{}{}{}}
\newlabel{prop:measurable-stability}{{1.6}{3}{Stability properties of measurable functions}{tcb@cnt@definition.1.6}{}}
\newlabel{prop:measurable-stability@cref}{{[tcb@cnt@definition][6][1]1.6}{[1][3][]3}{}{}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Almost-everywhere equality}{3}{subsection.1.3}\protected@file@percent }
\newlabel{def:ae}{{1.7}{3}{Almost everywhere / almost surely}{tcb@cnt@definition.1.7}{}}
\newlabel{def:ae@cref}{{[tcb@cnt@definition][7][1]1.7}{[1][3][]3}{}{}{}}
\gdef \@abspage@last{4}