chickadee
»
array-morphisms
»
morph-matmul
Identifier search
morph-matmul
A
B
procedure
Matrix-matrix multiply morphism: (M,K) x (K,N) -> (M,N).