Chris

I think jstor might be appropriate. I noticed that Theorem 245 and Property 130 both have a proposed doi that doesn't work. I took a look and found the article...

Just dropping a related comment here. It appears that the definition of "strong Fréchet-Urysohn" appearing in https://en.wikipedia.org/wiki/Fr%C3%A9chet%E2%80%93Urysohn_space is actually "strictly" since it doesn't specify that the sequence of the A_n...

A couple of things to consider about the shrinking property for additional reference: - According to https://zbmath.org/0712.54016, a submetacompact space is shrinking iff it is normal. Do we want to...

So an example of a normal space which isn't shrinking, according to https://dantopology.wordpress.com/2017/01/05/spaces-with-shrinking-properties/, is M.E. Rudin's famous construction of a Dowker space. I'll need to look more into things for...

Also, for some reason, even after a few minutes after my last commit, the web viewer isn't loading a few things. I wanted to verify that I did the linking...

> There's a sync button on https://topology.pi-base.org/dev that might work for you Yeah, I've been using that, but the newly added theorems (nor edits to the properties) haven't shown up...

Odd. I think it must be something with my chrome browser. I pulled it up in Firefox and was able to get the new additions to load.

Oh, I forgot to add in that shrinking implies countably paracompact. I'll add that in to T541 when I get a chance.

Nice! With the updates, Rudin's Dowker Space (S138) is added to the list of spaces which are normal but not shrinking.

Also, for future reference, do we avoid theorems of the form P implies (Q and R)? I took a glance through and didn't see any conjunctions as conclusions to any...