OAI/Analysis/BiholderTransport/Regularity/KernelBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakMTWTransport.kernel_rectangle_of_partial_lipschitz line 14
2. lemma OAI.WeakMTWTransport.smooth_kernel_second_locally_bounded line 33
3. lemma OAI.WeakMTWTransport.smooth_kernel_local_data line 53
4. lemma OAI.WeakMTWTransport.smooth_kernel_local_bounds line 74