Theorem Submodule.inf_unifEigenspace

Modification history