OAI/Probability/SignedSweeps/MarginalKernels.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SignedSweeps.marginal_kernel_eq_zero line 13
2. lemma OAI.SignedSweeps.specht_marginal_kernel_eq_zero line 31
3. lemma OAI.SignedSweeps.alternating_subsets_cancel line 50
4. lemma OAI.SignedSweeps.alternating_full_coefficient line 64
5. def OAI.SignedSweeps.differenceKernel line 69
6. lemma OAI.SignedSweeps.differenceKernel_vanishes_of_isolate line 72
7. lemma OAI.SignedSweeps.differenceKernel_action line 79