NoAtoms

This file is deprecated. Please use Mathlib.MeasureTheory.Measure.Typeclasses.NullSingletonClass instead.