OAI/Geometry/Arnold/FixedCount.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ArnoldCounterexample.Construction.zeroLift_fixed line 16
2. lemma OAI.ArnoldCounterexample.Construction.otherLift_fixed line 22
3. lemma OAI.ArnoldCounterexample.Construction.plusLift_fixed line 32
4. lemma OAI.ArnoldCounterexample.Construction.minusLift_fixed line 34
5. lemma OAI.ArnoldCounterexample.Construction.factors_respects line 37
6. lemma OAI.ArnoldCounterexample.Construction.zeroLift_ne_plusLift line 43
7. lemma OAI.ArnoldCounterexample.Construction.zeroLift_ne_minusLift line 48
8. lemma OAI.ArnoldCounterexample.Construction.plusLift_ne_minusLift line 53
9. lemma OAI.ArnoldCounterexample.Construction.main_fixed_iff line 59
10. lemma OAI.ArnoldCounterexample.Construction.main_fixed_set line 75
11. lemma OAI.ArnoldCounterexample.Construction.main_fixed_encard line 79