Ascent++
Search
Assertion list
for term "at least one zero-mean column".
Results from
Ascent++
:
1
matrix
→
HasA
→
at least one zero-mean column
0.33