Rename P84

[felixpernegger]

Change Locally Hausdorff => Locally T2 to be more consistent with P3 (T2)

[prabau]

The name "Locally Hausdorff" is a perfectly good name. If you look in mathse/mo and especially google scholar, it is used much more than "locally T2" in the literature. "Locally T2" is barely used in comparison.

We should keep "locally Hausdorff". If you really want to, we could add "locally T2" as an alias, but I am not even sure it would be doing much.

[prabau]

By the way, what is this "awaiting-author" label? Is it a new thing?

[felixpernegger]

By the way, what is this "awaiting-author" label? Is it a new thing?

I explained it in another PR

[felixpernegger]

The name "Locally Hausdorff" is a perfectly good name. If you look in mathse/mo and especially google scholar, it is used much more than "locally T2" in the literature. "Locally T2" is barely used in comparison.

We should keep "locally Hausdorff". If you really want to, we could add "locally T2" as an alias, but I am not even sure it would be doing much.

I made it alias now, we should at least keep this

[prabau]

Can you point me to some places in the literature that use "locally T2" in the current sense?

[prabau]

Feel free to merge.

[felixpernegger]

Can you point me to some places in the literature that use "locally T2" in the current sense?

Im not sure its used, but this makes in somewhat more consistent with the rest of pibase

[felixpernegger]

https://scholar.google.de/scholar?hl=de&as_sdt=0%2C5&q=%22locally+t2%22+topology&btnG=