Theorem IsLocalization.algEquiv_comp_algebraMap_apply

Modification history

2025-07-15 11:35
Mathlib/RingTheory/Localization/Basic.lean
feat: add Mathlib.RingTheory.DedekindDomain.Instances (#26070) …
Added IsLocalization.algEquiv_comp_algebraMap_applyView on Github →