Assertion list for term "rediscover several important theorems".
Results from Ascent++: 1
gauss → CapableOf → rediscover several important theorems 0.16