Theorem Submodule.inf_generalizedEigenspace

Modification history