basic, lattice): Simple lemmas (#9723)

Commit

4 years ago

feat(data/finset/basic, lattice): Simple lemmas (#9723) This proves lemmas about `finset.sup`/`finset.inf` and `finset.singleton`.

Author

YaelDillies

Parents