OAI/Analysis/BiholderTransport/Calculus/SecondDerivativeLinearSandwich.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakMTWTransport.second_derivative_linear_sandwich line 17
2. lemma OAI.WeakMTWTransport.second_derivative_half_norm_sq line 47
3. lemma OAI.WeakMTWTransport.third_derivative_swap_outer line 73
4. lemma OAI.WeakMTWTransport.third_derivative_swap_inner line 80
5. lemma OAI.WeakMTWTransport.eikonal_third_derivative line 98