search

jamesdabbs / pi-base.hs

A Haskell-powered modernization of Counterexamples in Topology
MIT License
39 stars 5 forks source link

Tychonoff Corkscrew Empty #35

Closed austinmohr closed 10 years ago

austinmohr commented 10 years ago

No traits display for the Tychonoff Corkscrew (http://topology.jdabbs.com/spaces/88) even though much is known about it in Counterexamples.

austinmohr commented 10 years ago

There doesn't appear to be a bug. It's simply just devoid of traits.