Theorem Module.End.mem_genEigenspace_one

Modification history