Convergence of spectral smoothings from compact quantum group actions

In this note, we study complete and quantum Gromov-Hausdorff convergence of operator systems obtained using smoothings of C*-algebras, where our smoothings arise from the action of a compact quantum group on the C*-algebra. Specifically, we show how if $\mathbb{G}$ is a co-amenable compact quantum g