Optimal approximate matrix product in terms of stable rank

Re-assign community