OAI/Analysis/BiholderTransport/Contact/CenterSupportFamily.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.WeakMTWTransport.TrueCenterRow line 21
2. lemma OAI.WeakMTWTransport.WeakMTW.actual_center_row line 39
3. abbrev OAI.WeakMTWTransport.centerRowParameter line 51
4. lemma OAI.WeakMTWTransport.center_row_parameter_tendsto line 60
5. lemma OAI.WeakMTWTransport.center_support_family_subseq line 74
6. lemma OAI.WeakMTWTransport.center_limit_support_smooth line 84