Def QuadraticForm.dualProd

Modification history

2023-09-06 16:43

Mathlib/LinearAlgebra/QuadraticForm/Dual.lean

feat: port LinearAlgebra.QuadraticForm.Dual (#6885)

Added QuadraticForm.dualProd View on Github →