OAI/Analysis/BiholderTransport/Volume/DiagonalKernel.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakMTWTransport.diagonal_stationary_hessian_null line 127
2. lemma OAI.WeakMTWTransport.second_leg_cost_smooth line 173
3. lemma OAI.WeakMTWTransport.diagonalSplitAction_endpoint_kernel line 186
4. lemma OAI.WeakMTWTransport.diagonalSplitAction_conjugate_hessian_null line 235