Before revision: Ibn al-Haytham, an 11th-century polymaths later extended this principle to refraction, hence giving an early version of the Fermat's principle.
After revision: Ibn al-Haytham, an 11th-century polymath later extended this principle to refraction, hence giving an early version of the Fermat's principle.