mathlib3
2d270ff1 - feat(data/set/basic): +2 lemmas, +2 `simp` attrs (#3182)

Commit

5 years ago

feat(data/set/basic): +2 lemmas, +2 `simp` attrs (#3182)

Author

urkud

urkud

Parents

Loading