Assertion list for term "red-black ordering".
Results from Ascent++: 1
matrix → HasA → red-black ordering 0.25