ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R1196 on D313: Measurable function

Indicator function measurable iff underlying set is measurable