Assertion list for term "cover prime exponents".

Results from Ascent++: 1
proof CapableOfcover prime exponents 0.25