instance * :: complete_space; generalize continuity lemmas for fst, snd, Pair
instance * :: complete_space; generalize continuity lemmas for fst, snd, Pair

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle