OAI/Probability/SwitchChain/DisjointCellGraph.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem315.DisjointBlock.cellData line 12
  2. def OAI.Problem315.DisjointBlock.cellGraph line 16
  3. theorem OAI.Problem315.DisjointBlock.cellData_encode line 20
  4. theorem OAI.Problem315.DisjointBlock.cellGraph_encode line 26
  5. theorem OAI.Problem315.DisjointBlock.valence_cellGraph_outside line 33
  6. theorem OAI.Problem315.DisjointBlock.valence_cellGraph_A_zero line 46
  7. theorem OAI.Problem315.DisjointBlock.valence_cellGraph_A_one line 56
  8. theorem OAI.Problem315.DisjointBlock.valence_cellGraph_B_zero line 65
  9. theorem OAI.Problem315.DisjointBlock.valence_cellGraph_B_one line 75
  10. structure OAI.Problem315.DisjointBlock.InCell line 84
  11. theorem OAI.Problem315.DisjointBlock.cellGraph_mem line 92
  12. def OAI.Problem315.DisjointBlock.cellEquiv line 106