Theorem Nat.Prime.dvd_primorial_iff

Modification history

2026-03-25 00:36

Mathlib/NumberTheory/Primorial.lean

feat(NumberTheory/Primorial): expand API for primorial (#36962) …

Added Nat.Prime.dvd_primorial_iff View on Github →