Weight of a partition

ID: weight-of-a-partition

The -weight is the number of -hooks removed to reach the -core. It satisfies
and equals the total size of the partitions in the -quotient.

New to topics? Read the docs here!