The circular maximal operator on Heisenberg radial functions | Publicación