, if it exists, is not known.
Exact formalization occurrence from the upstream source collection.
- Source category
- research open
- Formal proof
- Not retained
- Vela current state
- No Repository Result attached
Question
This claim is rooted in the finiteness conjecture. The most direct mathematical expression
of the open problem concerning is the negation of the existence of a valid base.
Lean declaration
Open source viewtheorem conjecture.variants.a_40 :
¬ ∃ (b : ℕ), IsValidZerolessPower 40 b