OAI/Combinatorics/Progressions/Lattices/AllocatedOriginalGenuineAffine.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Erdos3.VectorPolynomial.AllocatedProductCoarseNormalizedAffineData line 32
2. theorem OAI.Erdos3.VectorPolynomial.allocatedProductCoarseNormalizedAffineData_of_kernel line 156
3. def OAI.Erdos3.VectorPolynomial.AllocatedProductCoarseBoxAffineData line 220
4. theorem OAI.Erdos3.VectorPolynomial.allocatedProductCoarseBoxAffineData_of_normalized line 347
5. def OAI.Erdos3.VectorPolynomial.AllocatedOriginalGenuineAffineData line 426
6. theorem OAI.Erdos3.VectorPolynomial.allocatedOriginalGenuineAffineData_of_coarse line 624