OAI/Geometry/WeakMTW/Potentials/PotentialDefinitions.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.WeakMTWGlobalSupport.WeakMTW.cTransform line 20
  2. def OAI.WeakMTWGlobalSupport.WeakMTW.IsPotential line 21
  3. def OAI.WeakMTWGlobalSupport.WeakMTW.IsDualPair line 22
  4. def OAI.WeakMTWGlobalSupport.WeakMTW.ordinarySubdiff line 24
  5. def OAI.WeakMTWGlobalSupport.WeakMTW.potentialGraph line 27
  6. def OAI.WeakMTWGlobalSupport.WeakMTW.potentialProjection line 29
  7. def OAI.WeakMTWGlobalSupport.WeakMTW.GlobalSupportingProperty line 31