OAI/Computability/MinUncut/Games/AffineLabels.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.Inner.labelFrequency line 12
  2. lemma OAI.MinUncut.Inner.labelFrequency_apply line 17
  3. lemma OAI.MinUncut.Inner.labelFrequency_odd line 18
  4. def OAI.MinUncut.Inner.basedForm line 21
  5. lemma OAI.MinUncut.Inner.basedForm_apply line 26
  6. lemma OAI.MinUncut.Inner.form_decomposition line 29
  7. lemma OAI.MinUncut.Inner.labelFrequency_injective line 36
  8. lemma OAI.MinUncut.Inner.oddFrequency_exists_label line 47
  9. def OAI.MinUncut.Inner.oddFrequencyEquiv line 64
  10. def OAI.MinUncut.Inner.formPullback line 74
  11. lemma OAI.MinUncut.Inner.formPullback_one line 80
  12. lemma OAI.MinUncut.Inner.labelFrequency_pullback line 84