Theorem Module.End.unifEigenspace_zero_nat

Modification history