I was reading the code in sage/combinat/free_module.py and I noticed some weirdness in the imports. In the second line there is a
from sage.structure.element import Element, have_same_parent
and then in the fourth line there is
from sage.structure.element import have_same_parent
and later on we find
import sage.structure.element
Why is this so? Can't some of these lines be erased?
