slice): More `finset.slice` and antichain lemmas (#11397)

Commit

3 years ago

feat(data/finset/slice): More `finset.slice` and antichain lemmas (#11397) Also move `finset.coe_bUnion` to a more sensible location.

Author

YaelDillies

Parents