Theorem Finsupp.mapDomain_of_not_mem_image_support

Modification history

2026-05-21 09:56
Mathlib/Data/Finsupp/Basic.lean
feat(Geometry/Convex): convex sets in a `ConvexSpace` (#38905) …
Added Finsupp.mapDomain_of_not_mem_image_supportView on Github →