Theorem Submodule.eq_iSup_inf_unifEigenspace

Modification history