OAI/Probability/SwitchChain/TripleStateReindex.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem315.TripleStateReindex.degreeCount line 15
  2. theorem OAI.Problem315.TripleStateReindex.degreeCount_comap line 19
  3. def OAI.Problem315.TripleStateReindex.graphEquiv line 32
  4. theorem OAI.Problem315.TripleStateReindex.graphEquiv_adj line 39
  5. def OAI.Problem315.TripleStateReindex.fixedDegreeEquiv line 45
  6. abbrev OAI.Problem315.TripleStateReindex.Outside line 59
  7. def OAI.Problem315.TripleStateReindex.tripleEnum line 61
  8. def OAI.Problem315.TripleStateReindex.splitEquiv line 64
  9. theorem OAI.Problem315.TripleStateReindex.splitEquiv_inl line 68
  10. theorem OAI.Problem315.TripleStateReindex.splitEquiv_inr line 71
  11. theorem OAI.Problem315.TripleStateReindex.splitEquiv_inl_mem line 74
  12. theorem OAI.Problem315.TripleStateReindex.splitEquiv_inr_not_mem line 77
  13. def OAI.Problem315.TripleStateReindex.stateEquiv line 80
  14. theorem OAI.Problem315.TripleStateReindex.stateEquiv_adj line 85
  15. theorem OAI.Problem315.TripleStateReindex.stateEquiv_outside_adj line 90
  16. theorem OAI.Problem315.TripleStateReindex.sum_stateEquiv line 95
  17. theorem OAI.Problem315.TripleStateReindex.stateCount_eq line 101
  18. theorem OAI.Problem315.TripleStateReindex.uniformAverage_stateEquiv line 108
  19. theorem OAI.Problem315.TripleStateReindex.uniformVariance_stateEquiv line 120