Theorem Module.End.genEigenspace_directed

Modification history