OAI/NumberTheory/Ostmann/Characters/SourceTemplatePriors.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Ostmann.Characters.HigherBiasSource.SourceTemplate.sourceSample line 13
  2. def OAI.Ostmann.Characters.HigherBiasSource.SourceTemplate.sourceSampleEquiv line 17
  3. def OAI.Ostmann.Characters.HigherBiasSource.SourceTemplate.sourcePrimeShells line 25
  4. theorem OAI.Ostmann.Characters.HigherBiasSource.SourceTemplate.sourcePrimeShells_positive line 30
  5. def OAI.Ostmann.Characters.HigherBiasSource.SourceTemplate.configurationPrimeShells line 36
  6. theorem OAI.Ostmann.Characters.HigherBiasSource.SourceTemplate.sourceSample_prior_mass line 40
  7. theorem OAI.Ostmann.Characters.HigherBiasSource.SourceTemplate.sourceSample_cmean line 55
  8. theorem OAI.Ostmann.Characters.HigherBiasSource.SourceTemplate.sourceSample_originalWord_true line 72
  9. theorem OAI.Ostmann.Characters.HigherBiasSource.SourceTemplate.sourceSample_originalWord_false line 79
  10. theorem OAI.Ostmann.Characters.HigherBiasSource.SourceTemplate.sourceSample_mask line 86
  11. theorem OAI.Ostmann.Characters.HigherBiasSource.SourceTemplate.sourcePrimeShells_word line 94
  12. theorem OAI.Ostmann.Characters.HigherBiasSource.SourceTemplate.configurationPrimeShells_word line 105