OAI/Analysis/HenonEmden/PairRecovery.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.HenonLaneEmden.SpatialComponents.positionIntegral line 13
  2. def OAI.HenonLaneEmden.SpatialComponents.endpointIntegral line 16
  3. def OAI.HenonLaneEmden.SpatialComponents.lossIntegral line 19
  4. def OAI.HenonLaneEmden.SpatialComponents.capPressureIntegral line 22
  5. def OAI.HenonLaneEmden.SpatialComponents.pairMismatchIntegral line 25
  6. def OAI.HenonLaneEmden.SpatialComponents.capMismatchIntegral line 29
  7. lemma OAI.HenonLaneEmden.SpatialComponents.weighted_potential_position line 32
  8. lemma OAI.HenonLaneEmden.SpatialComponents.weighted_potential_endpoint line 47
  9. lemma OAI.HenonLaneEmden.SpatialComponents.IsSolution_pairLeft_recovery line 72