O pátém Hilbertově problému (existence struktury Lieovy grupy na lokálně euklidovské topologické grupě) Jiří Vanžura (1972) Pokroky matematiky, fyziky a astronomie