## Stream: Is there code for X?

### Topic: set.erase

#### Kevin Buzzard (Feb 16 2021 at 17:54):

We have finset.erase -- do we not have set.erase? Is it called something else? I know I can do S \ {a} but is this not a thing?

#### Yakov Pechersky (Feb 16 2021 at 17:56):

docs#set.insert_diff_singleton

#### Yakov Pechersky (Feb 16 2021 at 17:57):

This is likely due to the fact that while set and finset seem similar in how we think about them mathematically, they're constructed entirely differently, either by chaining predicates (set) or by quotienting finite lists of elements by permutations. And erase comes from the {list,multiset}.erase

Last updated: May 07 2021 at 18:19 UTC