Theorem Module.End.mem_unifEigenspace_nat

Modification history