Commit 2023-10-19 13:16 ab701cad

View on Github →

feat(LinearAlgebra/QuadraticForm/Prod): inl, inr, and single are isometries (#7723)

Estimated changes