Assertion list for term "non-zero elements".
Results from Ascent++: 1
matrix → HasA → non-zero elements 0.25