Theorem measurable_of_measurable_on_compl_singleton

Modification history