mathlib3
9913a2b9 - attempt to make multiset.to_finsupp computable

Commit

3 years ago

attempt to make multiset.to_finsupp computable

References

eric-wieser/multiset.to_finsupp-computable

Author

eric-wieser

eric-wieser

Parents

Loading