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$ ?

Sources

Browse retained paths and inspect the exact material available for this Problem.

2 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

273.lean

Retained formal statement2 of 2

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

FormalConjectures/ErdosProblems/273.leanErdos273.erdos_273.variants.three1 lineExact file

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

SolvedStatement only, no proof