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