Theorem Module.End.HasUnifEigenvector.apply_eq_smul

Modification history