Assertion list
arithmetic (primary) → IsA
Results from Ascent++: 1
arithmetic → IsA → most elementary branch of mathe… 0.38