dfinsupp and pre

Stream: general

[Yakov Pechersky]

Why is the definition of the support in src#dfinsupp.pre a multiset and not a finset?

[Eric Wieser]

I think it might be to avoid needing decidability assumptions for some cases?