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