The Restriction of Homeomorphism is a Homeomorphism in the Subspace TopologyLast updated Nov 1, 2022TODO