Theorem isIsotypicOfType_submodule_iff

Modification history