mathlib
84c0c2aa
- Merge remote-tracking branch 'origin/master' into FR_quotient2
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
Merge remote-tracking branch 'origin/master' into FR_quotient2
References
#18318 - feat(data/dfinsupp/basic): remove decidable typeclass assumptions on `sigma_uncurry`
Author
eric-wieser
Parents
5b4f3f3a
6010cf52
Loading
