$\bar E=\bigcap_n \iota(E)U^{p^n}$ is closed in the semilocal units · Prove2Me

P

Initializing...

$\bar E=\bigcap_n \iota(E)U^{p^n}$ is closed in the semilocal units · Prove2Me