Commit 2026-09-11 16:02 6458ecb1

feat(Geometry/Convex): affine maps into a module form a module (#43586) ... under pointwise operations. From the Polyhedra in Berlin workshop, where participants requested this to talk about the dual space of a convex space.