OAI/Dynamics/EntropyCounterexample/AngularExtension.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Problem340.eventually_zero_comp_inv line 12
  2. theorem OAI.Problem340.contDiff_comp_inv_of_compactSupport line 25
  3. def OAI.Problem340.planeZeroExtension line 35
  4. theorem OAI.Problem340.planeZeroExtension_infty line 37
  5. theorem OAI.Problem340.planeZeroExtension_coe line 40
  6. theorem OAI.Problem340.continuous_planeZeroExtension line 43
  7. theorem OAI.Problem340.continuous_cutoff_angular_onePoint line 52
  8. theorem OAI.Problem340.contDiff_cutoff_angular_inv line 59