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
Eric Wieser (Sep 13 2021 at 06:50):
I think it might be to avoid needing decidability assumptions for some cases?
Last updated: Aug 03 2023 at 10:10 UTC