Zulip Chat Archive
Stream: new members
Topic: dfinsupp and pre
Yakov Pechersky (Sep 13 2021 at 00:31):
Why is the definition of the support in src#dfinsupp.pre a multiset and not a finset?
Last updated: May 02 2025 at 03:31 UTC
Why is the definition of the support in src#dfinsupp.pre a multiset and not a finset?
Last updated: May 02 2025 at 03:31 UTC