OAI/Geometry/PrescribedPotential/SobolevDetDifferential.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Sobolev Det Differential.

  1. lemma OAI.GlobalElliptic.GluingData.determinant_map_contDiff line 22
  2. def OAI.GlobalElliptic.GluingData.detDifferential line 28
  3. lemma OAI.GlobalElliptic.GluingData.detDifferential_contDiff line 33
  4. lemma OAI.GlobalElliptic.GluingData.detDifferential_strong line 37