OAI/Analysis/BiholderTransport/LinearAlgebra/PrefixActionJets.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakMTWTransport.prefixAction_source_hessian line 19
2. lemma OAI.WeakMTWTransport.prefixAction_endpoint_gradient line 34
3. lemma OAI.WeakMTWTransport.prefixAction_endpoint_hessian line 49
4. lemma OAI.WeakMTWTransport.prefixAction_hessian_diag line 74