equitable): A singleton is equitable (#10192)

Commit

4 years ago

feat(data/set/equitable): A singleton is equitable (#10192) Prove `set.subsingleton.equitable_on` and `set.equitable_on_singleton`.

Author

YaelDillies

Parents