mathlib3
92e3d9d2
- fix copyright
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
fix copyright
References
#18318 - feat(data/dfinsupp/basic): remove decidable typeclass assumptions on `sigma_uncurry`
Author
astrainfinita
Parents
8da5a83b
Loading
