OAI/Probability/SwitchChain/TripleAugmentedMatrix.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Problem315.TripleEncoding.TripleBlock line 13
  2. def OAI.Problem315.TripleEncoding.oneEdgeBlockEquiv line 17
  3. def OAI.Problem315.TripleEncoding.twoEdgeBlockEquiv line 26
  4. theorem OAI.Problem315.TripleEncoding.binaryColumn_zero_eq line 35
  5. def OAI.Problem315.TripleEncoding.zeroEdgeColumnEquiv line 41
  6. def OAI.Problem315.TripleEncoding.threeEdgeColumnEquiv line 48
  7. def OAI.Problem315.TripleEncoding.zeroEdgeBlockEquiv line 55
  8. def OAI.Problem315.TripleEncoding.threeEdgeBlockEquiv line 65