Theorem Algebra.trace_localization

Modification history

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