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: May 02 2025 at 03:31 UTC