OAI/Analysis/BiholderTransport/LinearAlgebra/ActualRadial.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WeakMTWTransport.normalHessian line 115
2. lemma OAI.WeakMTWTransport.normalHessian_symm line 119
3. lemma OAI.WeakMTWTransport.hessianValue_eq_normalHessian line 124
4. lemma OAI.WeakMTWTransport.normalHessian_radial line 131
5. lemma OAI.WeakMTWTransport.normalHessian_contracted_radial line 135
6. lemma OAI.WeakMTWTransport.hessianValue_contracted_radial line 142
7. lemma OAI.WeakMTWTransport.hessianValue_transverse_radial_identity line 147