An algebra isomorphism of local rings identifies the maximal ideals (via `comap` and `map`).

Initializing...

An algebra isomorphism of local rings identifies the maximal ideals (via `comap` and `map`). · Prove2Me