Commit 2024-06-08 21:41 5ddf243c
View on Github →refactor(LinearAlgebra/BilinearMap): Left composition, bilinear over different rings (#13042)
Generalise compl₂ and compl₁₂ for left composition with maps which are linear over different rings in the first and second variable.
Needed for #9334