Assertion: gauss's theorem | /r/HasProperty | formulated in many ways
Facets:
value: before its modern form
type: TEMPORAL
Source sentences:
text: The theorem was formulated in many ways before its modern form: Euler and Legendre did not have Gauss's congruence notation, nor did Gauss have the Legendre symbol.