Ascent++ | accompanied by reduction

Ascent++

Assertion list for term "accompanied by reduction".

Results from Ascent++: 1

improvement → ReceivesAction → accompanied by reduction

0.29

This work is licensed under a Creative Commons Attribution 4.0 International License. Accessibility. Imprint. Privacy.