Restriction of a Hamiltonian group action (source code)

= Restriction of a Hamiltonian group action

Restriction to a <Lie subgroup> with <Lie algebra> inclusion $i:\mathfrak h\to\mathfrak g$ has <moment map> $i^*\mu$. The <dual map> $i^*$ composes with the original <moment map>.