Theorem Module.End.unifEigenspace_inf_le_add

Modification history