Use imports that are further upstream

Stream: mathlib4

[Josha Dekker]

Is there a way to identify which imports are "too far downstream" in the sense that you could just as well import a file further upstream? (Other than trial-and-error of course..)
Of course, I'd like to have some way of (automatically?) detecting what imports I could be using that are further upstream

[Kevin Buzzard]

There is #find_home and more generally you might be interested in the discussion in this thread.

[Josha Dekker]

thank you!