Theorem Module.End.mem_unifEigenspace

Modification history