invalid import: topology.basic

Stream: new members

[Parivash]

Hi,
How can I fix this issue? Screen-Shot-2023-01-12-at-8.23.15-PM.png

[Notification Bot]

A message was moved here from #new members > Real functions as vector spaces by Eric Wieser.

[Kevin Buzzard]

Did you look at the URL generated by the error?

[Eric Wieser]

Also, please make a new thread next time rather than posting in an unrelated thread. We can move posts that end up in the wrong place, but it would be better if we didn't have to!