Theorem Module.End.unifEigenrange_nat

Modification history