Commit 2021-09-21 09:53 b5a6422f

feat(data/finset): add lemmas (#9209)

• add finset.image_id', a version of finset.image_id using λ x, x instead of id;
• add some lemmas about finset.bUnion, finset.sup, and finset.sup'.