Commit 2025-07-19 04:00 58a7c6f0

View on Github →

feat(Analysis/InnerProductSpace/Positive): add theorem LinearMap.IsPositive.adjoint_eq (#27195)

Estimated changes