Erdős problem 273 · problems.science

Is there a covering system all of whose moduli are of the form $p-1$ for some primes $p \geq 5$ ?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/273.lean

Formal Conjectures

FormalConjectures/ErdosProblems/273.leanErdos273.erdos_2731 lineExact file

1True ↔ ∃ c, ∀ (i : c.ι), ∃ p, Nat.Prime p ∧ 5 ≤ p ∧ c.moduli i = Ideal.span {↑(p - 1)}

OpenStatement only, no proof