[Merged by Bors] - feat(RingTheory/Localization/AtPrime/Basic): add variants of localAlgHom and localAlgEquiv#39714

tb65536 wants to merge 4 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

tb65536:tb_lochom93tb65536/mathlib4:tb_lochom93Copy head branch name to clipboard