Update basic.lean - SemanticDiff

Commit

3 years ago

Update basic.lean

References

FR_dfinsupp_sigma_uncurry

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

Author

astrainfinita

astrainfinita

Parents

Loading