OAI/Probability/SwitchChain/TripleFiberConditioning.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem315.PairResampling.triangleEdgeCount line 10
  2. theorem OAI.Problem315.PairResampling.triple_internal_degree_eq line 14
  3. theorem OAI.Problem315.PairResampling.opposite_edge_eq_of_triangle_data line 43
  4. theorem OAI.Problem315.PairResampling.sameFiber_pair_iff_exterior_row line 55
  5. theorem OAI.Problem315.PairResampling.sameFiber_pair_iff_exterior_row_of_outside line 100
  6. def OAI.Problem315.PairResampling.tripleRowStates line 133
  7. theorem OAI.Problem315.PairResampling.fiberStates_pair_eq_tripleRowStates line 142
  8. theorem OAI.Problem315.PairResampling.expectation_pair_eq_triple_row_average line 162