Theorem Submodule.inf_iSup_unifEigenspace

Modification history