Explicit surjectivity of Galois representations of products of elliptic curves over function fields | Synapse