refactor(MeasureTheory/Measure/Typeclasses/NoAtoms): rename NoAtoms to NullSingletonClass#40809

ldiedering wants to merge 7 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

ldiedering:rename_no_atomsldiedering/mathlib4:rename_no_atomsCopy head branch name to clipboard