Theorem measurableSet_generateFrom_of_mem_supClosure

feat: distance on the set of measurable sets given by the measure of the symmetric difference (#34517) …