Normalized solutions for double critical Schrödinger–Poisson system on the first Heisenberg group | Synapse