Commit 2026-09-15 19:08 5f8d8296

feat(AffineIndependent): add AffineIndepOn (#43459) LinearIndepOn is a set-valued analog of LinearIndependent. AffineIndepOn is similarly a set-valued analog of AffineIndependent that makes it easier to reason about operations like insertion/deletion occurring over sets. The first half of the change is mostly copied from LinearIndepOn. Created as part of the "Polyhedra in Lean" workshop in Berlin.