Restriction branching rule for a symmetric group

ID: restriction-branching-rule-for-a-symmetric-group

Over the complex numbers, restriction from to is multiplicity-free:
Equivalently, one removes one Removable node of a Young diagram in every possible distinct way.

New to topics? Read the docs here!