mathlib3

07e9dd4c - feat(data/nat/prime): nat.factors_eq_nil and other trivial simp lemmas (#7284)