OAI/Combinatorics/MatchingEntropy/Counting.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.MatchingEntropyBounds.separable_entropy_main line 16
  2. theorem OAI.MatchingEntropyBounds.selected_uniform_mean line 25
  3. theorem OAI.MatchingEntropyBounds.separableLower_uniform line 58
  4. theorem OAI.MatchingEntropyBounds.structuralBase_eq_exp line 81
  5. theorem OAI.MatchingEntropyBounds.structuralBase_lower line 92
  6. theorem OAI.MatchingEntropyBounds.uniform_support_count line 120
  7. theorem OAI.MatchingEntropyBounds.structural_count_main line 146
  8. theorem OAI.MatchingEntropyBounds.regular_uniform_mem line 155
  9. theorem OAI.MatchingEntropyBounds.regular_count_main line 176