Def QuadraticForm.dualProdIsometry

Modification history

2023-09-06 16:43

Mathlib/LinearAlgebra/QuadraticForm/Dual.lean

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

Added QuadraticForm.dualProdIsometry View on Github →