Theorem Algebra.WeaklyQuasiFiniteAt.finite_localization

Modification history

2026-10-10 12:26
Mathlib/RingTheory/QuasiFinite/Weakly.lean
chore: rename `finite_locoalization` to `finite_localization` (#44643) …
Added Algebra.WeaklyQuasiFiniteAt.finite_localizationView on Github →