mathlib
21a71de1
- chore(*): use notation instead of `set.*` (#14139)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
chore(*): use notation instead of `set.*` (#14139)
Author
urkud
Parents
38244939
Loading