Theorem Submodule.IsFullyInvariant.of_mem_isotypicComponents

Modification history