Theorem Algebra.discr_localizationLocalization

Modification history

2023-08-11 23:48
Mathlib/RingTheory/Localization/NormTrace.lean
feat: add Algebra.discr_localizationLocalization (#6422) …
Added Algebra.discr_localizationLocalizationView on Github →