OAI/Geometry/WeakHessian/Transport/FormAction.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WeakHessian.FormActionBound line 18
2. lemma OAI.WeakHessian.regularizedLog_weighted_gamma line 24
3. lemma OAI.WeakHessian.weighted_gradient_add_smul line 40
4. lemma OAI.WeakHessian.FormActionBound.logarithmic_shift_exact line 71
5. lemma OAI.WeakHessian.FormActionBound.mono line 125
6. lemma OAI.WeakHessian.FormActionBound.logarithmic_shift line 129
7. lemma OAI.WeakHessian.weighted_gradient_smul line 154
8. lemma OAI.WeakHessian.FormActionBound.symmetric_contraction line 168