Dimension free estimates for the vector-valued Hardy--Littlewood maximal function on the Heisenberg group | Synapse