OAI/Analysis/BiholderTransport/LocalFlow/CompactFlow.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakMTWTransport.exists_uniform_time_on_compact line 77
2. lemma OAI.WeakMTWTransport.exists_complete_curve_of_compact_invariant line 103