Skip to content

address comment

aaadca2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - feat(Analysis/InnerProductSpace): Gram matrix det ≠ 0 iff input vectors are independent #37918

address comment
aaadca2
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
ci (fork) / Lint style
succeeded Apr 11, 2026 in 1m 58s