mathlib

64444a2d - feat(data/finsupp/basic): add a `has_repr` instance (#17283)

feat(data/finsupp/basic): add a `has_repr` instance (#17283) This is difficult to test because `finsupp.single` is `noncomputable`; but a good example of where this provides value is with `nat.factorization`.