search

pi-base / data

A community database of topological counterexamples
https://topology.pi-base.org/
Creative Commons Attribution 4.0 International
72 stars 26 forks source link

Almost discrete part 1 #922

Closed danflapjax closed 1 week ago

danflapjax commented 1 week ago

I decided to split up #821 for the sake of my (lack of) time and wanting to get the changes finally shipped.