mathlib

ce4a432a - Create factorization_via_finsupp.lean