 However, James Gregory is credited for the theorem's discovery in geometric form, Isaac Barrow proved a more generalized geometric version, and Newton developed supporting theory.The concept became more transparent as developed through Leibniz's formalism and new notation.The product rule of differential calculus is still called "Leibniz's law".