The key idea in this proof is the analysis of a certain noncommutative, locally compact abstract group. In 1976, lectures on semigroups of operators, delivered by Jan Kisyński at the International Centre for Theoretical Physics in Trieste, were published.
https://weii.pollub.pl/math/history/professor-jan-kisynski
Projekt współfinansowany ze środków Unii Europejskiej w ramach Europejskiego Funduszu Społecznego, Program Operacyjny Wiedza Edukacja Rozwój 2014-2020 "NAZWA PROGRAMU" POWR.00.00.00-00-z000/00-00