Commit 2025-01-29 14:31 05fd3e92

View on Github →

refactor(LinearAlgebra/QuadraticForm/TensorProduct): baseChange_ext for Quadratic Maps (#21198) baseChange_ext works just as well for quadratic maps as quadratic forms.

Estimated changes

modified theorem baseChange_ext