OAI/NumberTheory/JointDickman/Amplification/EndpointParameterVariation.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Lipschitz dependence of the spatial model on its lag parameter

  1. theorem OAI.JointDickman.histogramLocation_le line 9
  2. theorem OAI.JointDickman.endpointSpatialWeight_parameter_difference line 19
  3. theorem OAI.JointDickman.geometric_coarseCoefficient_parameter_difference line 52