https://123dok.net/document/qo51mpw0-representation-independent-propagator-lie-groups-square-integrable-representations.html