Theorem Module.End.mem_unifEigenspace_zero

Modification history