mathlib
14292790 - feat(data/*): lemmas converting finset, set.finite, and their card (#3042)

Commit

5 years ago

feat(data/*): lemmas converting finset, set.finite, and their card (#3042) Co-authored-by: Kenny Lau kc_kennylau@yahoo.com.hk

References

Author

pechersky

Parents