OAI/Analysis/FourierLLogL/Compress/Select.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Selecting conditional iid comparator

  1. lemma OAI.FourierLLogL.Compress.choose_slow line 11
  2. lemma OAI.FourierLLogL.Compress.choose3 line 63
  3. lemma OAI.FourierLLogL.Compress.kl_covered line 78
  4. def OAI.FourierLLogL.Compress.iid line 86
  5. theorem OAI.FourierLLogL.Compress.select_context line 88