mathlib
4b411b28
- Merge branch 'FR_list_pi' into FR_quotient2
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
Merge branch 'FR_list_pi' into FR_quotient2
References
#18318 - feat(data/dfinsupp/basic): remove decidable typeclass assumptions on `sigma_uncurry`
Author
astrainfinita
Parents
92e3d9d2
7a4901c1
Loading
