The images of the maximal invariant sets of the two plugs are invariant under the time-t maps of the glued vector field

Initializing...

The images of the maximal invariant sets of the two plugs are invariant under the time-t maps of the glued vector field · Prove2Me