Symplectic isotopy (source code)

= Symplectic isotopy

A symplectic isotopy is a smooth path $\phi_t$ of <symplectomorphisms> beginning at the identity.