Assertion: gauss | /r/CapableOf | know the class number formula
Facets:
value: in 1801
type: TEMPORAL
Source sentences:
text: It appears that Gauss already knew the class number formula in 1801.