Theorem IsIsotypic.submodule_linearEquiv_fun

Modification history