OAI/Geometry/Symplectic/MorseBounds/Symplectic.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MorseArnold.Geometry.Model line 13
2. abbrev OAI.MorseArnold.Geometry.SmoothModel line 14
3. abbrev OAI.MorseArnold.Geometry.TwoForm line 19
4. def OAI.MorseArnold.Geometry.chartTwoForm line 22
5. structure OAI.MorseArnold.Geometry.SymplecticForm line 29