WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Outer product

Revision #1451 → #2621 · back to history

modifiedProperties of outer product of vectors8d9855935104
FieldFrom #1451To #2621
mathlib.declMatrix.vecMulVecBilinvecMulVecBilin
provenanceaiai-moderated