Theorem Module.End.mem_genEigenspace_zero

Modification history