Matrix multiplication

Also written: matrix times vector, shape rule

Each entry of the result is a row of the first matrix dotted with a column of the second. Shapes follow (m × n) @ (n × p) → (m × p), and the order matters.