Constraining gravitational wave propagation using pulsar timing array correlations | Synapse