Theorem Submodule.inf_iInf_maxGenEigenspace_of_forall_mapsTo

Modification history