search

pi-base / data

A community database of topological counterexamples
https://topology.pi-base.org/
Creative Commons Attribution 4.0 International
72 stars 24 forks source link

Minor edits to T30 and T488 #661

Closed Jianing-Song closed 4 months ago

Jianing-Song commented 4 months ago

Some minor edits:

$\bullet$ Changed T_3 and T_4 to $T_3$ and $T_4$ in theorem T30.

$\bullet$ In T488, since {P19} (countably compact) is an adjective, I changed the wording to "The space being {P19} implies that ...".

As for the question if T488 generalizes to GO-spaces, I will post a MSE question later. GO-spaces do have enough mysteries.

prabau commented 4 months ago

@Jianing-Song FYI, there is something you may find useful. It is possible to set oneself as a watcher for a repository, and then get notifications when a new PR or issue gets created or people comment on them. I find this useful to quickly know about it and then participate in conversations as needed.

For the current pi-base/data watchers: https://github.com/pi-base/data/watchers

To add yourself as a watcher, in https://github.com/pi-base/data there is a button saying Watch near the top. (You can later click Unwatch at any time.) Then select "All activity" for the level of notification.

And you also need to update something in the Settings of your own profile (https://github.com/settings/profile). Under Notifications (https://github.com/settings/notifications), go to Subscriptions, and adjust things in "Customize email updates" according to what you want to see.

Jianing-Song commented 4 months ago

@Jianing-Song FYI, there is something you may find useful. It is possible to set oneself as a watcher for a repository, and then get notifications when a new PR or issue gets created or people comment on them. I find this useful to quickly know about it and then participate in conversations as needed.

For the current pi-base/data watchers: https://github.com/pi-base/data/watchers

To add yourself as a watcher, in https://github.com/pi-base/data there is a button saying Watch near the top. (You can later click Unwatch at any time.) Then select "All activity" for the level of notification.

And you also need to update something in the Settings of your own profile (https://github.com/settings/profile). Under Notifications (https://github.com/settings/notifications), go to Subscriptions, and adjust things in "Customize email updates" according to what you want to see.

Thanks a lot! I have it done.