Theorem LinearMap.isAdjointPair_one

Modification history

2024-12-12 09:27
Mathlib/LinearAlgebra/SesquilinearForm.lean
refactor: make `LinearMap.IsAdjointPair` accept bare functions as arguments (#19679)
Added LinearMap.isAdjointPair_oneView on Github →