Mathlib v3 is deprecated. Go to Mathlib v4

Theorem span_eq_top.localization_localization

Modification history

2023-01-24 12:36
src/ring_theory/localization/module.lean
feat(ring_theory/localization): localization of a basis, again (#18261) …
Added span_eq_top.localization_localizationView on Github →