FormalConjectures/Wikipedia/HerzogSchonheimConjecture.lean
0 declarations, 0 contain sorry, 0 declared as axioms
Herzog–Schönheim conjecture
This file points to the canonical formalization in FormalConjectures.ErdosProblems.«274».
References:
No declarations listed.