pi-Base community call Fri 2024 Sep 6 at 4pm Eastern

[StevenClontz]

Agenda:

• discuss Remove T2,4,5,6 => T1 #658
• locally Euclidean or locally $n$-Euclidean? Adding properties to S198 and add Locally Euclidean where dimensionality can vary #706
• How much context preferred for adding new properties? See shrinking space #696
• discuss Non-triviality conditions in theorems #739

Zoom link: https://southalabama.zoom.us/j/93833246214

[ccaruvana]

Throwing this here in case we want to add to the agenda since we talked a little bit about it: #696

I will add some comments regarding this issue in the issue thread.

[StevenClontz]

Cool. You can edit my agenda above to add it yourself if you like.

[ccaruvana]

It seems that the Carolinas seminar will be meeting on the 30th. Should we drop this back a week?

[StevenClontz]

Done! Thanks for the catch