Theorem isFullyInvariant_iff_le_imp_isotypicComponent_le

Modification history