`∩` laws (#14952)

Commit

3 years ago

feat(data/{finset,set}/basic): More `∪`/`∩` laws (#14952) Specialise lattice lemmas to `set` and `finset`.

Author

YaelDillies

Parents