Seven Prime Divisors in Odd Distinct Covering Systems
Any finite distinct covering system with odd moduli greater than one has an LCM divisible by at least seven distinct primes. The result makes no squarefreeness or prime-power-height assumption and is accompanied by a Lean 4 formalization and an independent exact-rational checker.
Read the paper