On Hadwiger-Alesker finiteness theorem
arXiv:2206.12872
Abstract
We study the Hadwiger-Alesker finiteness theorem from the standpoint of Lie theory and announce a generalization.
My Lemma is incorrect as bi-invariance does not imply my inclusion as I claim. However, once that inclusion holds, the rest follows