OAI/Analysis/BiholderTransport/Regularity/ModifiedData.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakMTWTransport.modified_transform_bounds line 16
2. lemma OAI.WeakMTWTransport.modified_double_bounds line 33
3. lemma OAI.WeakMTWTransport.modified_excess_upper line 46
4. lemma OAI.WeakMTWTransport.modified_contact_original_section line 55
5. lemma OAI.WeakMTWTransport.modified_excess_at_contact line 66