| http://www.w3.org/ns/prov#value | - The same theorem (namely the Artin--Rees lemma) that proves that $\hat{M}_1/\hat{M}_2 \buildrel \sim \over \longrightarrow \hat{M}_3$ also proves directly that this isomorphism is a homeomorphism when $\hat{M}_1/\hat{M}_2$ is equipped with the quotient topology induced by the $I$-adic topology on $\hat{M}_2$ and $\hat{M}_3$ is equipped with its $I$-adic topology. (It furthermore proves that the $I
|
