OAI/Analysis/BiholderTransport/Calculus/FiniteTaylor.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakMTWTransport.HasSecondTaylor.const_mul' line 18
2. lemma OAI.WeakMTWTransport.HasSecondTaylor.sum line 28
3. lemma OAI.WeakMTWTransport.HasLowerSecondTaylor.mono_diagonal line 43
4. def OAI.WeakMTWTransport.prefixDefect line 63
5. def OAI.WeakMTWTransport.splitDefect line 67
6. lemma OAI.WeakMTWTransport.prefixDefect_taylor line 71
7. lemma OAI.WeakMTWTransport.splitDefect_taylor line 108