OAI/Analysis/MumfordShah/GraphFlux.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

MumfordShah graph flux.

  1. def OAI.MumfordShah.graphChartHomeomorph line 116
  2. lemma OAI.MumfordShah.graphChart_measurePreserving line 124
  3. lemma OAI.MumfordShah.integral_graphChart line 136
  4. lemma OAI.MumfordShah.graphJump_inner_integrable line 148
  5. theorem OAI.MumfordShah.graph_jump_flux line 169