OAI/Combinatorics/Progressions/Geometry/CoefficientAmbientCoordinates.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Erdos3.VectorPolynomial.CoefficientAmbientIndex line 13
2. def OAI.Erdos3.VectorPolynomial.coefficientAmbientSlice line 16
3. def OAI.Erdos3.VectorPolynomial.coefficientAmbientTorus line 20
4. theorem OAI.Erdos3.VectorPolynomial.coefficientAmbientTorus_mk line 24
5. theorem OAI.Erdos3.VectorPolynomial.coefficientAmbientSlice_lipschitz line 31
6. theorem OAI.Erdos3.VectorPolynomial.coefficientAmbientTorus_character line 40