Theorem Module.End.unifEigenspace_restrict_eq_top

Modification history