OAI/Analysis/HenonEmden/LayerIntegration.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HenonLaneEmden.SpatialComponents.low_high_layer_bound line 15
2. def OAI.HenonLaneEmden.SpatialComponents.averagedLoss line 46
3. lemma OAI.HenonLaneEmden.SpatialComponents.measurable_averagedLoss line 49
4. lemma OAI.HenonLaneEmden.SpatialComponents.averagedLoss_nonneg line 60
5. lemma OAI.HenonLaneEmden.SpatialComponents.averagedLoss_high line 64
6. lemma OAI.HenonLaneEmden.SpatialComponents.weight_low_levels_bound line 89
7. lemma OAI.HenonLaneEmden.SpatialComponents.integrated_averagedLoss line 101