OAI/Combinatorics/Progressions/Geometry/AllocatedAmbientSiteCoordinates.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Erdos3.VectorPolynomial.allocatedLongAmbientCoordinates line 24
2. theorem OAI.Erdos3.VectorPolynomial.allocatedLongAmbientCoordinates_point line 31
3. theorem OAI.Erdos3.VectorPolynomial.allocatedLongAmbientCoordinates_lipschitz line 50
4. def OAI.Erdos3.VectorPolynomial.allocatedAmbientSiteCoordinates line 101
5. theorem OAI.Erdos3.VectorPolynomial.allocatedAmbientSiteCoordinates_point line 106
6. theorem OAI.Erdos3.VectorPolynomial.allocatedAmbientSiteCoordinates_lipschitz line 125