Theorem Submodule.le_isotypicComponent

Modification history