Assertion list for term "indexed by the range rows".
Results from Ascent++: 1
row (aspect of matrix) → ReceivesAction → indexed by the range rows 0.41