Def dotProductEquiv

Modification history

2025-06-07 19:11
Mathlib/LinearAlgebra/Matrix/Dual.lean
feat: an invertible matrix as a perfect pairing (#25477) …
Added dotProductEquivView on Github →