Existence of primitive normal pairs over finite fields with prescribed subtrace | Synapse