Assertion: gauss's proof | /r/HasProperty | cast in modern form
Facets:
value: by later algebraic number theorists
type: OTHER
Source sentences:
text: His proof was cast in modern form by later algebraic number theorists.