OAI/NumberTheory/DukePrimeDegree/Entropy/AtomicFutureCover.lean
1 declarations, 0 contain sorry, 0 declared as axioms
A full-measure countable neutral future cover from atomic intrinsic roots
- theorem
OAI.DukePrimeDegree.exists_atomic_neutral_future_coverline 12