Theorem isIsotypic_submodule_iff

Modification history