Commit 2024-10-05 09:45 f7f1db19
View on Github →refactor: generalise linearity of inner product (#17384) The acting ring doesn't need to be the ring the inner product is valued in.
refactor: generalise linearity of inner product (#17384) The acting ring doesn't need to be the ring the inner product is valued in.