Theorem QuadraticForm.map_zero

Modification history

2024-07-11 00:43

Mathlib/LinearAlgebra/QuadraticForm/Basic.lean

chore: protect `QuadraticForm.map_zero` (#14633)

Deleted QuadraticForm.map_zero View on Github →

2023-06-05 12:54

Mathlib/LinearAlgebra/QuadraticForm/Basic.lean

feat: port LinearAlgebra.QuadraticForm.Basic (#4432)

Added QuadraticForm.map_zero View on Github →