mathlib

7b81edbb - Improve lemma: `factor_iff_mem_factorization`