Theorem Nat.le_primorial_self

Modification history

2026-03-25 00:36
Mathlib/NumberTheory/Bertrand.lean
feat(NumberTheory/Primorial): expand API for primorial (#36962) …
Deleted Nat.le_primorial_selfView on Github →
2026-03-21 11:04
Mathlib/NumberTheory/Bertrand.lean
feat: four miscellaneous number theory lemmas (#36799) …
Added Nat.le_primorial_selfView on Github →