mathlib

851b3200 - feat(ring_theory/localization): b is linear independent over R iff l.i. over `Frac(R)` (#13041)

feat(ring_theory/localization): b is linear independent over R iff l.i. over `Frac(R)` (#13041) Co-authored-by: Junyan Xu <junyanxumath@gmail.com> Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>