Theorem LinearMap.isSymm_zero

Modification history

2025-08-10 16:17

Mathlib/LinearAlgebra/SesquilinearForm.lean

chore: turn LinearMap.IsSymm into a structure (#27873) …

Modified LinearMap.isSymm_zero View on Github →

2024-02-26 00:38

Mathlib/LinearAlgebra/SesquilinearForm.lean

refactor(LinearAlgebra/QuadraticForm): Replace `BilinForm` with a scalar valued bi `LinearMap` (#10238) …

Added LinearMap.isSymm_zero View on Github →