Theorem Module.End.mem_unifEigenspace_one

Modification history