OAI/NumberTheory/DukePrimeDegree/Entropy/FutureFiberProbability.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Future conditional probabilities as actual leaf mass ratios

  1. theorem OAI.DukePrimeDegree.conditionalProbability_futureFiber line 13