Assertion list for term "expressed as fold induction".
Results from Ascent++: 1
result (aspect of expression) → ReceivesAction → expressed as fold induction 0.33