Theorem MeasureTheory.Measure.eventually_nonempty_inter_smul_of_density_one

Modification history