OAI/Analysis/BiholderTransport/LocalFlow/SmoothFlowEndpoint.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakMTWTransport.ode_family_initial line 45
2. lemma OAI.WeakMTWTransport.ode_family_endpoint_deriv_zero line 50
3. lemma OAI.WeakMTWTransport.ode_family_endpoint_deriv_ne_zero line 76
4. lemma OAI.WeakMTWTransport.exists_smooth_local_flow line 115