OAI/Combinatorics/Progressions/Geometry/AllocatedSlicedRowIdealSupport.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Erdos3.VectorPolynomial.allocatedSlicedPhysicalJetIdeal_coordinate_support line 35
  2. theorem OAI.Erdos3.VectorPolynomial.allocatedFrozenProfile_mixed_integral line 105
  3. theorem OAI.Erdos3.VectorPolynomial.allocatedCoveredDeck_density_test line 197
  4. theorem OAI.Erdos3.VectorPolynomial.allocatedCoveredProfile_raw_integral line 214
  5. theorem OAI.Erdos3.VectorPolynomial.allocatedCoveredProfile_test_integral line 268
  6. theorem OAI.Erdos3.VectorPolynomial.allocatedGridlessWeightedKernel_quarter_support line 344
  7. theorem OAI.Erdos3.VectorPolynomial.allocatedSlicedCoveredProfile_test_integral line 439
  8. theorem OAI.Erdos3.VectorPolynomial.allocatedSlicedCoveredProfile_mean_test_integral line 543
  9. theorem OAI.Erdos3.VectorPolynomial.allocatedSlicedRowIdeal_coordinate_support line 639