OAI/Geometry/Arnold/FixedPoints.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ArnoldCounterexample.Construction.fixed_lift line 16
2. lemma OAI.ArnoldCounterexample.Construction.fixed_zero_coordinate line 21
3. lemma OAI.ArnoldCounterexample.Construction.fixed_mid_phase line 45
4. lemma OAI.ArnoldCounterexample.Construction.fixed_factor_critical line 58
5. lemma OAI.ArnoldCounterexample.Construction.epsilon_le line 97
6. lemma OAI.ArnoldCounterexample.Construction.vertical_core_fixed line 103