I feel that we should rename matrix-product to matrix-multiplication since it seems it is the more common terminology.
Any opinions?
I feel that we should rename matrix-product to matrix-multiplication since it seems it is the more common terminology.
Any opinions?