Almost everything imports all of SymPy, due to the complex dependencies modules have on each other. And anyhow, this line was not added here.