Character-degree valuation does not increase on taking the p-core

ID: character-degree-valuation-does-not-increase-on-taking-the-p-core

For every partition ,
The core-tower formula reduces this to subadditivity of the base- digit sum across the sizes of the quotient partitions.

New to topics? Read the docs here!