Skip to content

Update Mathlib/LinearAlgebra/QuadraticForm/TensorProduct.lean

26ec194
Select commit
Loading
Failed to load commit list.
Closed

[Merged by Bors] - feat(LinearAlgebra/QuadraticForm/TensorProduct): base change of quadratic forms #6636

Update Mathlib/LinearAlgebra/QuadraticForm/TensorProduct.lean
26ec194
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs