OAI/Probability/SignedSweeps/MixedNetworks.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SignedSweeps.sampleSweep_uniform line 13
  2. abbrev OAI.SignedSweeps.SubsetNetwork line 38
  3. def OAI.SignedSweeps.labelNetwork line 40
  4. lemma OAI.SignedSweeps.labelNetwork_of_mem line 44
  5. lemma OAI.SignedSweeps.labelNetwork_of_notMem line 48
  6. def OAI.SignedSweeps.mixedNetworkPermutation line 51
  7. lemma OAI.SignedSweeps.mixedNetworkPermutation_apply line 56
  8. lemma OAI.SignedSweeps.mixedNetworkPermutation_symm_apply line 62
  9. theorem OAI.SignedSweeps.subsetEndpointKernel_eq_mixedProb line 67
  10. lemma OAI.SignedSweeps.maskedEndpointKernel_eq_mixed line 111
  11. def OAI.SignedSweeps.networkInitialSubsets line 118
  12. lemma OAI.SignedSweeps.networkInitialSubsets_total line 122