Theorem Module.End.unifEigenspace_one

Modification history