Theorem Module.End.unifEigenspace_eq_iSup_unifEigenspace_nat

Modification history