Robuta

https://eudml.org/doc/51508 EuDML | Positively expansive homeomorphisms of compact spaces. positively expansivecompact spaceshomeomorphisms