mathlib3
7a4901c1 - golf

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

2 years ago

golf

References

#18318 - feat(data/dfinsupp/basic): remove decidable typeclass assumptions on `sigma_uncurry`

Author

astrainfinita

astrainfinita

Parents

FAQ Terms Privacy Refunds Impressum

Loading