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: Dec 20 2023 at 11:08 UTC
Why is the definition of the support in src#dfinsupp.pre a multiset and not a finset?
Last updated: Dec 20 2023 at 11:08 UTC