OAI/Geometry/PrescribedPotential/LocalPotentialABP.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Local Potential A B P.

  1. lemma OAI.PotentialABP.quadratic_levi_pair line 25
  2. lemma OAI.PotentialABP.quadratic_contact_det line 44
  3. theorem OAI.PotentialABP.local_potential_sublevel_volume line 66