OAI/Geometry/TamingCompatibility/Model.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.TamingCompatibility.Space line 10

   Also declared: ComparatorChallenges/TamingCompatibility.lean:10 (same declaration text).

2. abbrev OAI.TamingCompatibility.Model line 11

   Also declared: ComparatorChallenges/TamingCompatibility.lean:11 (same declaration text).

3. abbrev OAI.TamingCompatibility.TwoForm line 16

   Also declared: ComparatorChallenges/TamingCompatibility.lean:16 (same declaration text).

4. structure OAI.TamingCompatibility.AlmostComplexStructure line 19

   Also declared: ComparatorChallenges/TamingCompatibility.lean:19 (same declaration text).

5. def OAI.TamingCompatibility.eval line 27

   Also declared: ComparatorChallenges/TamingCompatibility.lean:27 (same declaration text).

6. def OAI.TamingCompatibility.pullback line 30

   Also declared: ComparatorChallenges/TamingCompatibility.lean:30 (same declaration text).

7. def OAI.TamingCompatibility.IsSmooth line 34

   Also declared: ComparatorChallenges/TamingCompatibility.lean:34 (same declaration text).

8. def OAI.TamingCompatibility.IsClosed line 38

   Also declared: ComparatorChallenges/TamingCompatibility.lean:38 (same declaration text).

9. def OAI.TamingCompatibility.IsNondegenerate line 43

   Also declared: ComparatorChallenges/TamingCompatibility.lean:43 (same declaration text).

10. def OAI.TamingCompatibility.IsSymplectic line 46

    Also declared: ComparatorChallenges/TamingCompatibility.lean:46 (same declaration text).

11. def OAI.TamingCompatibility.Tames line 49

    Also declared: ComparatorChallenges/TamingCompatibility.lean:49 (same declaration text).

12. def OAI.TamingCompatibility.IsInvariant line 52

    Also declared: ComparatorChallenges/TamingCompatibility.lean:52 (same declaration text).

13. def OAI.TamingCompatibility.Compatible line 55

    Also declared: ComparatorChallenges/TamingCompatibility.lean:55 (same declaration text).