Detailed explanation and options for the selected question.
Dennis Walsh, Bob Carswell and R.F. Weymann are credited with the discovery of the first gravitational lens.