OAI/NumberTheory/Ostmann/Construction/ConstructedBinnedCharacterPriors.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A common original word bin and all constructed cell priors

  1. theorem OAI.Ostmann.PublishedProgressionInput.constructed_binned_character_priors line 10