OAI/Combinatorics/Progressions/Estimates/AllocatedUniformCommonCover.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Erdos3.VectorPolynomial.exists_uniform_allocated_original_mesh line 14
2. theorem OAI.Erdos3.VectorPolynomial.exists_uniform_allocated_common_residue_weighted_original_mesh line 34
3. def OAI.Erdos3.VectorPolynomial.AllocatedUniformCommonCoverData line 121
4. theorem OAI.Erdos3.VectorPolynomial.exists_uniform_common_cover line 150