OAI/Combinatorics/Progressions/Polynomial/InitialMaskedAffineComparisonAtDegree.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Erdos3.chosen_stable_residue_affine_total_at_degree line 93
2. theorem OAI.Erdos3.chosen_stable_affine_from_source_marginals_at_degree line 243
3. theorem OAI.Erdos3.residue_source_stable_affine_comparison_at_degree line 369
4. theorem OAI.Erdos3.conditioned_source_stable_affine_comparison_at_degree line 501
5. theorem OAI.Erdos3.initial_masked_affine_comparison_at_degree line 632