OAI/Geometry/PrescribedPotential/ChartTransportHigher.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Chart Transport Higher.

  1. lemma OAI.GlobalElliptic.transportCoefficient_smooth line 24
  2. def OAI.GlobalElliptic.transportCoefficient line 30
  3. lemma OAI.GlobalElliptic.transportCoefficient_apply line 33
  4. lemma OAI.GlobalElliptic.chartTransport_tsupport line 39
  5. lemma OAI.GlobalElliptic.chartTransport_deriv line 45
  6. lemma OAI.GlobalElliptic.word_deriv_comm line 83
  7. lemma OAI.GlobalElliptic.chartTransport_word_bound line 92
  8. theorem OAI.GlobalElliptic.chartTransport_even_bound line 114