mathlib
5b4f3f3a
- golf
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
golf
References
#18318 - feat(data/dfinsupp/basic): remove decidable typeclass assumptions on `sigma_uncurry`
Author
astrainfinita
Parents
d3fc21f1
Loading
