Progress in search for high‐redshift galaxies magnified by gravitational lensing | Publicación