mathlib3
0d07d04e - chore(data/set): add a few lemmas and `@[simp]` attrs (#8873)

Commit

4 years ago

chore(data/set): add a few lemmas and `@[simp]` attrs (#8873)

Author

urkud

urkud

Parents

Loading