OAI/NumberTheory/JointDickman/Probability/WeightedPolynomialTensor.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A bounded scalar weight in the compact tensor approximation

  1. theorem OAI.JointDickman.geometricSmoothArithmeticSum_weighted_tensor line 10
  2. theorem OAI.JointDickman.weighted_smooth_tensor_approximation line 31