Python 代码实现删除一个 list 里面的重复元素

请写出一段 Python 代码实现删除一个 list 里面的重复元素
可以先把 list 重新排序，然后从 list 的最后开始扫描，代码如下：
In [8]: List = [1, 2, 2, 3, 3, 3, 4, 4, 5, 6, 6, 7]
In [9]: if List:
   ...:     List.sort()
   ...:     last = List[-1]
   ...:     for i in range(len(List)-2, -1, -1):
   ...:         if last==List[i]: 
   ...:             del List[i]
   ...:         else: 
   ...:             last=List[i]
   ...: print(List)

[1, 2, 3, 4, 5, 6, 7]