Polynomial approximation of quantum Lipschitz functions
We prove an approximation result for Lipschitz functions on the quantum sphere , from which we deduce that the two natural quantum metric structures on have quantum Gromov-Hausdorff distance zero.