Theorem Submodule.map_le_isotypicComponent

Modification history