Problem solved with ChatGPT

While dot is indeed built-in, a complete answer should point out that one must import itt from LinearAlgebra first.

1 Like