OAI/Analysis/MumfordShah/Cutoffs.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

MumfordShah cutoffs.

  1. lemma OAI.MumfordShah.compact_smooth_cutoff line 32
  2. instance OAI.MumfordShah.(instance at line 59) line 59
  3. def OAI.MumfordShah.scaledCutoff line 63
  4. lemma OAI.MumfordShah.scaledCutoff_smooth line 65
  5. lemma OAI.MumfordShah.scaledCutoff_fderiv line 69
  6. lemma OAI.MumfordShah.scaledCutoff_gradient_bound line 75
  7. theorem OAI.MumfordShah.exists_scaled_cutoff_family line 88