minor correction 'least exponent of matrix multiplication' (might not exist)