OAI/NumberTheory/Ostmann/Quadratic/QuadraticFresnelLimit.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Removing the damping on the physical test-function side

  1. theorem OAI.Ostmann.fresnelCoefficient_continuous line 12
  2. theorem OAI.Ostmann.quadratic_fresnel_coefficient_integral_limit line 39
  3. theorem OAI.Ostmann.quadratic_fresnel_integral line 69