Franciszek Leja was a Polish mathematician who was a major figure in re-establishing the Mathematical Institute in Kraków after World War II. He was the first to define a topological group in 1925.