Assertion list
abstract algebra (subgroup of algebra ) → IsA
Results from Ascent++: 1
abstract algebra → IsA → major area 0.68