mathlib

9630eca8 - feat(data/nat/primes): lemmas about min_fac (#2790)