chore(topology/list): one import per line (#4479)
chore(topology/list): one import per line (#4479)

This one seems to have slipped through previous efforts






leanprover-community/mathlib,leanprover-community/mathlib