Zulip Chat Archive
Stream: Is there code for X?
Topic: finset.subsingleton
Yaël Dillies (Dec 14 2021 at 18:01):
Do we not have finset.subsingleton? I thought I used lots and I'm surprised to find out it doesn't seem to exist.
Last updated: Dec 20 2023 at 11:08 UTC