Theorem Algebra.map_leftMulMatrix_localization

Modification history

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