Theorem isFullyInvariant_iff_sSup_isotypicComponents

Modification history