OAI/Analysis/HenonEmden/CapOscillation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HenonLaneEmden.AdaptiveCap.normalizedOscConstant line 17
2. def OAI.HenonLaneEmden.AdaptiveCap.oscillationConstant line 21
3. lemma OAI.HenonLaneEmden.AdaptiveCap.oscillationConstant_nonneg line 28
4. lemma OAI.HenonLaneEmden.AdaptiveCap.normalized_close_oscillation line 34
5. lemma OAI.HenonLaneEmden.AdaptiveCap.weight_close_oscillation line 63