Erdős problem 7 · problems.science

Can there be a finite covering system of the integers with distinct moduli, all of which are odd and greater than $1$ ?

Sources

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

2 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

7.lean

Retained formal statement1 of 1

Is there a covering system all of whose moduli are odd (and greater than 1)?

FormalConjectures/ErdosProblems/7.leanErdos7.erdos_71 lineExact file

1True ↔ ∃ C, ∀ (i : C.ι), ¬C.moduli i ≤ Ideal.span {2} ∧ C.moduli i ≠ ⊤

OpenStatement only, no proof