Commit 2025-09-01 07:30 46da106d
View on Github →feat(Geometry/Manifold/MFDeriv): HasMFDerivAt.prodMk (#29130) Analogous to MDifferentiableWithinAt.prodMk, MDifferentiableAt.prodMk. This is upstreamed from https://github.com/girving/ray.
feat(Geometry/Manifold/MFDeriv): HasMFDerivAt.prodMk (#29130) Analogous to MDifferentiableWithinAt.prodMk, MDifferentiableAt.prodMk. This is upstreamed from https://github.com/girving/ray.