Commit 2026-01-31 14:23 5ce17463

feat: distance on the set of measurable sets given by the measure of the symmetric difference (#34517) We also give a density criterion for this distance for a ring of sets generating the sigma-algebra. Needed for #34055.