mathlib3

35bb571b - chore(number_theory/primorial): speed up some proofs (#12714)