Theorem LinearMap.IsPerfPair.separatingRight

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.separatingRightView on Github →