Two theorems about hemicompact groups

[felixpernegger]

Hemicompact + Top. Group + Frechet Urysohn => Polish
Hemicompact + Top. Group + Frechet Urysohn => Locally compact
Hemicompact + Top. Group + Baire => Locally compact

See prop 2.2 and corollary 2.3 in https://arxiv.org/pdf/2602.04647