OAI/Probability/SignedSweeps/ColumnAnnihilation.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SignedSweeps.groupAverage_apply_action line 11
2. lemma OAI.SignedSweeps.groupAverage_anti_fixed line 20
3. lemma OAI.SignedSweeps.regularRepresentation_single line 30
4. lemma OAI.SignedSweeps.complexSign_mul_self line 37
5. lemma OAI.SignedSweeps.polytabloid_column_action line 43
6. lemma OAI.SignedSweeps.long_column_coordinate_pair line 58
7. lemma OAI.SignedSweeps.regular_layer_annihilates_generator line 82
8. lemma OAI.SignedSweeps.layerOperator_eq_zero_of_long_column line 99
9. lemma OAI.SignedSweeps.sweepOperator_eq_zero_of_long_column line 118
10. lemma OAI.SignedSweeps.weightedMoment_eq_zero_of_long_column line 125