OAI/NumberTheory/DukePrimeDegree/Entropy/CountableFutureSigma.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The exact sigma algebra of the countable future codes

  1. theorem OAI.DukePrimeDegree.countableFutureCode_sigma_generate line 13
  2. theorem OAI.DukePrimeDegree.transverseCountableFutureSigma_eq_sup line 51