pi-base / viewer

Web UI for the π-Base
https://topology.pi-base.org
MIT License
9 stars 3 forks source link

"A common non-theorem" #59

Open StevenClontz opened 4 years ago

StevenClontz commented 4 years ago

A Common Non-Theorem

first countable + separable + ~second countable

I read this as "no spaces should satisfy this", but obviously some do. Maybe we should be more explicit: "Counterexamples to the conjecture 1stCount+Sep=>2ndCount".