Assertion list for term "a polynomial".
Results from Ascent++: 2
algorithm → HasProperty → polynomial 0.40
expression → HasProperty → a polynomial 0.36