[Merged by Bors] - chore(LinearAlgebra/Matrix/BilinearForm): sort out namespaces#34057
Closed
loefflerd wants to merge 2 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - chore(LinearAlgebra/Matrix/BilinearForm): sort out namespaces#34057loefflerd wants to merge 2 commits intoleanprover-community:masterfrom
loefflerd wants to merge 2 commits intoleanprover-community:masterfrom
Commits
Commits on Jan 16, 2026
Commits on Jan 17, 2026
- committed