mathlib
dae6155d - chore(number_theory/primorial): golf a proof (#12807)

Commit

3 years ago

chore(number_theory/primorial): golf a proof (#12807) Use a new lemma to golf a proof.

Author

adomani

Parents