Coprime commutators in profinite groups | Synapse