Moniker1998
Moniker1998
@prabau I've noticed there's no spaces which are $T_4$ and subparacompact, but not paracompact. I'm guessing those are equivalent?
Ah okay. Another reason to add this eventually
There is an exercise in Engelking referencing three papers, I assume one of them contains a somewhat easier proof of this
Oddly enough, I haven't found easy proof online, but I did find converse for GO-spaces
@prabau please review
@prabau want to review this one?
Note that example 207 from the above PR could be improved in the future if we were to add the property **monotonically normal** to pi-base, since its an example of...
General cleanup can be done in another PR
@prabau ready
@prabau 👍 I'm waiting for your response on this