basic): Convenience lemmas (#17957)

Commit

3 years ago

feat(data/{set,finset}/basic): Convenience lemmas (#17957) Add a few convenient corollaries to existing lemmas.

Author

YaelDillies

Parents