Page "Whitney embedding theorem#Isotopy versions" not found :(