Assertion: matrix's determinant | /r/HasProperty | computed 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)).