feat(data/set/equitable): A singleton is equitable (#10192)
feat(data/set/equitable): A singleton is equitable (#10192)

Prove `set.subsingleton.equitable_on` and `set.equitable_on_singleton`.





leanprover-community/mathlib,leanprover-community/mathlib