The Grothendieck group of unipotent representations; a new basis by Professor George Lusztig (Dec 6, 2023)