OAI/NumberTheory/JointDickman/Analysis/FractionalVerticalIntegral.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Integrability and removal of the middle gaps on the vertical sides

  1. theorem OAI.JointDickman.fractionalContour_vertical_integrable line 11
  2. theorem OAI.JointDickman.VIntegral_remove_middle_gap line 29