Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-02-07 09:48
064d0412
View on Github →
feat: port NumberTheory.Primorial (
#2137
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/NumberTheory/Primorial.lean
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