Theorem local_homeomorph.image_open_of_open'

chore(data/equiv/local_equiv,topology/local_homeomorph): put `source`/`target` to the left in `∩` (#6583)

feat(geometry/manifold/charted_space): open subset of a manifold is a manifold (#3442) …