Theorem Module.End.unifEigenspace_nat

Modification history