OAI/Analysis/HenonEmden/CapLoss.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HenonLaneEmden.SpatialComponents.length_at line 18
2. lemma OAI.HenonLaneEmden.SpatialComponents.integrable_loss line 32
3. lemma OAI.HenonLaneEmden.SpatialComponents.averaged_loss_le_weight line 44
4. lemma OAI.HenonLaneEmden.SpatialComponents.averaged_loss_le line 54
5. lemma OAI.HenonLaneEmden.SpatialComponents.high_level_flatness line 91