Commit 2025-07-07 08:46 6aba87f7
View on Github →feat: add version of fderiv_const_smul without differentiability hypotheses (#26700) In return, the scalar must be invertible, or any scalar in a field. Part of the path towards geodesics and the Levi-Civita connection. Co-authored by: @PatrickMassot