Assertion: gauss's theorem | /r/HasProperty | discovered by lagrange
Facets:
value: in 1762
type: TEMPORAL
Source sentences:
text: The theorem was first discovered by Lagrange in 1762, then later independently rediscovered by Gauss in 1813, by Ostrogradsky, who also gave the first proof of the general theorem, in 1826, by Green in 1828, Simeon-Denis Poisson in 1824 and Frédéric Sarrus in 1828.