WikiLean
Articles
·
Brain
·
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Tensor
Revision #1620 → #2658 ·
back to history
modified
Dot product as a tensor
e91409b3ac65
Field
From #1620
To #2658
mathlib.decl
Matrix.dotProductBilin
dotProductBilin
provenance
ai
ai-moderated