OAI/Analysis/HenonEmden/SpatialComponents.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HenonLaneEmden.SpatialComponents.lineLayer line 17
2. def OAI.HenonLaneEmden.SpatialComponents.lineWeight line 19
3. lemma OAI.HenonLaneEmden.SpatialComponents.isOpen_lineLayer line 24
4. lemma OAI.HenonLaneEmden.SpatialComponents.measurable_lineWeight line 29
5. lemma OAI.HenonLaneEmden.SpatialComponents.lineWeight_nonneg line 43
6. lemma OAI.HenonLaneEmden.SpatialComponents.lineWeight_le line 47
7. lemma OAI.HenonLaneEmden.SpatialComponents.lineWeight_eq_setWeight line 55
8. lemma OAI.HenonLaneEmden.SpatialComponents.dist_line line 71
9. lemma OAI.HenonLaneEmden.SpatialComponents.short_loss line 77