Actions of Finite Groups on Substitution Tilings and Their Associated C

Lemma 2.2.7 ([33], p. 187) If T is strongly aperiodic and has finite local ... this (in this case, we actually have K0(A)+ = K0(A), see [60] Exercise 4.5).