Commit 2023-02-07 09:48 064d0412

View on Github →

feat: port NumberTheory.Primorial (#2137)

Estimated changes

added def primorial
added theorem primorial_add
added theorem primorial_add_dvd
added theorem primorial_add_le
added theorem primorial_le_4_pow
added theorem primorial_pos
added theorem primorial_succ