OAI/Analysis/BiholderTransport/CostGeometry/SplitStationary.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WeakMTWTransport.diagonalSplitAction line 124
2. lemma OAI.WeakMTWTransport.split_regular_legs_near line 128
3. lemma OAI.WeakMTWTransport.diagonalSplitAction_contDiffAt line 147
4. lemma OAI.WeakMTWTransport.diagonalSplitAction_stationary line 155