flavenstein·vor 11 Tagen·discussThere's also π-Base which is a community-maintained extension of the book. It's pretty fun to explore.https://topology.pi-base.org/
https://topology.pi-base.org/