OAI/Analysis/SymmetricDomains/WeightedSquaredChartLimit.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Release061.parabolicScale_tendsto line 36
2. lemma OAI.Release061.parabolicScale_isBigO line 44
3. theorem OAI.Release061.parabolic_first_derivative line 54
4. lemma OAI.Release061.weighted_first_derivative line 74
5. lemma OAI.Release061.weighted_squared_chart_limit line 83