ContinuousMap.image: if map is an isomorphism and domain_subset is open, create a submanifold

[mkoeppe]

Follow-up from #31653.

CC: @egourgoulhon @mjungmath

Component: manifolds

Issue created by migration from https://trac.sagemath.org/ticket/31685

[mkoeppe]

comment:1

This can be implemented as pullback of inverse via #31688