feat(data/{finset,set}/basic): insert a s = s ↔ a ∈ s (#15493) and s.erase a = s ↔ a ∉ s.
insert a s = s ↔ a ∈ s
s.erase a = s ↔ a ∉ s