✏️ Editing: lean.cpython-310.pyc