Changes

Summary

eliminated a needless dependence on the theorem homeomorphic_punctured_sphere_affine_gen

Changeset 66710:676258a1cf01 by paulson _lp15@cam.ac.uk_: eliminated a needless dependence on the theorem homeomorphic_punctured_sphere_affine_gen
The file was modified	`src/HOL/Analysis/Homeomorphism.thy` (diff)