Theorem LinearMap.IsPerfPair.nondegenerate

Modification history

2026-08-31 20:31
Mathlib/LinearAlgebra/PerfectPairing/Basic.lean
feat(LinearAlgebra/SesquilinearForm): add basic lemmas for bilinear forms (#34487) …
Added LinearMap.IsPerfPair.nondegenerateView on Github →