OAI/Analysis/HenonEmden/SourceEndpoints.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HenonLaneEmden.SpatialComponents.endpointConstant line 12
2. lemma OAI.HenonLaneEmden.SpatialComponents.endpointConstant_nonneg line 13
3. def OAI.HenonLaneEmden.SpatialComponents.endpointAverage line 16
4. lemma OAI.HenonLaneEmden.SpatialComponents.measurable_endpointAverage line 20
5. lemma OAI.HenonLaneEmden.SpatialComponents.source_endpoint_error line 25