mathlib3

b1955dca - feat(data/matrix/basic): infix notation for matrix.dot_product in locale matrix (#11289)

feat(data/matrix/basic): infix notation for matrix.dot_product in locale matrix (#11289) I created an infix notation for `matrix.dot_product` in locale `matrix`. The notation was consulted with @eric-wieser in #11181. Co-authored-by: Martin Dvořák <martin.dvorak@matfyz.cz>