Как удалить короткие строчки из файла?

Jlokys,
вот код, работает на python3.6.9
он удаляет строки в которых кол-во символов точки с запятой меньше 6 (не <= 6, а < 6)

lines = list()
# adding to the list those lines in which the number
# of ; char is greater than or equal to 6
with open("file", "rt") as fl:
	for line in fl:
		if line.count(";") >= 6:
			lines.append(line)

# writing new lines (rewriting old lines)
with open("file", "wt") as fl:
	for line in lines:
		fl.write(line)

Как учить стандартные библиотеки?

Огромное спасибо!