Assertion: gauss | /r/CapableOf | formulate two laws
Facets:
value: in 1835
type: TEMPORAL
Source sentences:
text: Using his divergence theorem, which he discovered independently of Joseph-Louis Lagrange, he formulated two laws in 1835: