Erdős problem 7

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

Sources

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

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