mathlib3
7d331eb9 - chore(*): assorted lemmas about `set` and `finset` (#3158)

Commit

5 years ago

chore(*): assorted lemmas about `set` and `finset` (#3158)

References

Author

urkud

urkud

Parents

Loading