OAI/Combinatorics/Progressions/Polynomial/AntisymmetricPairPolynomial.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Erdos3.NativeSampleCorrelation.antisymmetricPairPolynomial line 25
2. def OAI.Erdos3.NativeSampleCorrelation.antisymmetricPairProjection line 32
3. theorem OAI.Erdos3.NativeSampleCorrelation.antisymmetricPairFrequency_apply line 35
4. theorem OAI.Erdos3.NativeSampleCorrelation.antisymmetricPairFrequency_real line 44
5. theorem OAI.Erdos3.NativeSampleCorrelation.antisymmetricPairPolynomial_eq_test line 59
6. theorem OAI.Erdos3.NativeSampleCorrelation.antisymmetricPairNiltest_symbol line 62