Theorem isFullyInvariant_isotypicComponent

Modification history