Assertion: matrix | /r/HasProperty | multiplied in time
Facets:
Source sentences:
text: If two matrices of order n can be multiplied in time M(n), where M(n) ≥ na for some a > 2, then the determinant can be computed in time O(M(n)).