Theorem Module.End.mem_unifEigenspace_top

Modification history