Assertion list for term "complex numbers".
Results from Ascent++: 1
real number → IsA → complex numbers 0.46