mathlib
e1c333dc
- chore(data/finset/basic): remove inter_eq_sdiff_sdiff (#4953)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
chore(data/finset/basic): remove inter_eq_sdiff_sdiff (#4953) This is a duplicate of sdiff_sdiff_self_left
Author
Oliver Nash
Parents
40f673ee
Loading