Theorem Module.End.unifEigenspace_directed

Modification history