Search results for: 'matrix if a<b then trace(A^3)<trace(ABA'