OAI/Probability/SignedSweeps/EndpointKernels.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SignedSweeps.sweepEndpointProb line 14
  2. def OAI.SignedSweeps.switchConstraintProb line 18
  3. lemma OAI.SignedSweeps.sweepEndpointProb_eq_product line 25
  4. lemma OAI.SignedSweeps.switchConstraintProb_insert line 55
  5. theorem OAI.SignedSweeps.sweepEndpointProb_insert_isolated line 100
  6. def OAI.SignedSweeps.normalizedEndpointProb line 118
  7. lemma OAI.SignedSweeps.normalizedEndpointProb_insert_isolated line 122
  8. def OAI.SignedSweeps.subsetEndpointKernel line 132
  9. lemma OAI.SignedSweeps.subsetEndpointKernel_nonneg line 136
  10. lemma OAI.SignedSweeps.subsetEndpointKernel_full line 142
  11. theorem OAI.SignedSweeps.sweep_differenceKernel_vanishes_of_isolate line 148