Additional alias for GO-space

pi-base / data

A community database of topological counterexamples

https://topology.pi-base.org/

Creative Commons Attribution 4.0 International

69 stars 24 forks source link

Closed prabau closed 1 month ago

prabau commented 1 month ago

Adding "suborderable" as alias for GO-space.

Also, for LOTS changed the alias from "linearly orderable" to "orderable" as it seems more common. Plus minor streamlining.

prabau commented 1 month ago

I think it looks good now.