Commit 2024-11-05 21:39 39aa723c

feat(Convex): visibility through a set (#17928) Define the relation of visibility with respect to a set, and lower bound how many elements of a set a point sees in terms of the dimension of that set. This will be used to prove a sort of strengthening of Freiman's lemma in additive combinatorics. From LeanCamCombi