OAI/MathematicalPhysics/SheetFlows/Model.lean

GitHub source file

42 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Solenoidal.Plane line 14

   Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:12 (same declaration text).

2. abbrev OAI.Solenoidal.Space line 15

   Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:13 (same declaration text).

3. abbrev OAI.Solenoidal.SpaceTime line 16

   Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:14 (same declaration text).

4. abbrev OAI.Solenoidal.Field line 17

   Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:15 (same declaration text).

5. abbrev OAI.Solenoidal.Pressure line 18

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

6. abbrev OAI.Solenoidal.Torus line 19

   Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:17 (same declaration text).

7. def OAI.Solenoidal.toTorus line 21

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

8. def OAI.Solenoidal.sheet line 23

   Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:21 (same declaration text).

9. structure OAI.Solenoidal.Rectangle line 25

   Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:23 (same declaration text).

10. def OAI.Solenoidal.Rectangle.carrier line 32

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

11. def OAI.Solenoidal.Rectangle.center line 35

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:33 (same declaration text).

12. def OAI.Solenoidal.Rectangle.halfWidth line 38

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:36 (same declaration text).

13. def OAI.Solenoidal.Rectangle.inCodingSquare line 41

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:39 (same declaration text).

14. def OAI.Solenoidal.SeparatelySeparated line 46

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:44 (same declaration text).

15. def OAI.Solenoidal.diagonalMap line 50

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:48 (same declaration text).

16. structure OAI.Solenoidal.SheetData line 53

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:51 (same declaration text).

17. def OAI.Solenoidal.deck line 66

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:64 (same declaration text).

18. def OAI.Solenoidal.SpatiallyPeriodic line 68

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:66 (same declaration text).

19. def OAI.Solenoidal.fundamentalCell line 71

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:69 (same declaration text).

20. def OAI.Solenoidal.basis line 74

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:72 (same declaration text).

21. def OAI.Solenoidal.spatialPartial line 76

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:74 (same declaration text).

22. def OAI.Solenoidal.timePartial line 79

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:77 (same declaration text).

23. def OAI.Solenoidal.divergence line 82

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:80 (same declaration text).

24. def OAI.Solenoidal.laplacian line 85

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:83 (same declaration text).

25. def OAI.Solenoidal.advection line 88

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:86 (same declaration text).

26. def OAI.Solenoidal.gradient line 91

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:89 (same declaration text).

27. def OAI.Solenoidal.DivergenceFree line 94

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:92 (same declaration text).

28. def OAI.Solenoidal.MeanZero line 96

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:94 (same declaration text).

29. def OAI.Solenoidal.Smooth line 99

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:97 (same declaration text).

30. def OAI.Solenoidal.OnePeriodic line 102

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:100 (same declaration text).

31. def OAI.Solenoidal.IntegerCollars line 104

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:102 (same declaration text).

32. def OAI.Solenoidal.cylinder line 107

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:105 (same declaration text).

33. structure OAI.Solenoidal.ClassicalSolution line 109

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:107 (same declaration text).

34. def OAI.Solenoidal.MaterialFlow line 138

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:136 (same declaration text).

35. def OAI.Solenoidal.spacetimeBasis line 144

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:142 (same declaration text).

36. def OAI.Solenoidal.mixedDerivative line 147

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:145 (same declaration text).

37. def OAI.Solenoidal.flatten line 151

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:149 (same declaration text).

38. def OAI.Solenoidal.NamesReal line 153

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:151 (same declaration text).

39. def OAI.Solenoidal.ComputableReal line 157

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:155 (same declaration text).

40. def OAI.Solenoidal.NamesPoint line 159

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:157 (same declaration text).

41. def OAI.Solenoidal.Effective line 164

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:162 (same declaration text).

42. def OAI.Solenoidal.EffectiveBounds line 172

    Also declared: ComparatorChallenges/SolenoidalSheetPrograms.lean:170 (same declaration text).