Zulip Chat Archive
Stream: general
Topic: finset.erase
Yury G. Kudryashov (Oct 08 2021 at 14:39):
Is there any reason to have a special name docs#finset.erase for s \ {a}?
Eric Wieser (Oct 08 2021 at 14:48):
For definitional equality with multiset.eraseand list.erase?
Last updated: Aug 03 2023 at 10:10 UTC