OAI/MeasureTheory/Falconer/Angular/CapReciprocal.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Derivatives of the cap normalization factor

  1. def OAI.Falconer.capReciprocal line 11
  2. theorem OAI.Falconer.capReciprocal_contDiff line 15
  3. theorem OAI.Falconer.capDenominator_mul_reciprocal line 19
  4. theorem OAI.Falconer.capReciprocal_chart_derivatives line 26