Theorem Module.End.unifEigenspace_eq_unifEigenspace_finrank_of_le

Modification history