Commit 2025-06-09 23:51 3e523a14

View on Github →

feat(Analysis/InnerProductSpace/Positive): add theorem IsPositive.nonneg_eigenvalues (#25493)

Estimated changes