Theorem Localization.localAlgHom_apply

Modification history

2026-02-06 15:35
Mathlib/RingTheory/Localization/AtPrime/Basic.lean
feat(RingTheory): local structure of monogenic unramified algebras (#33903)
Added Localization.localAlgHom_applyView on Github →