mathlib3
f6ec999f - feat(ring_theory/localization): add a fintype instance (#12150)

Commit

4 years ago

feat(ring_theory/localization): add a fintype instance (#12150)

Author

ericrbg

ericrbg

Parents

Loading