OAI/Analysis/BoxTransport/Definitions.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.BoxTransport.Routing.Space line 15

   Also declared: ComparatorChallenges/BalancedBoxRouting.lean:9 (same declaration text).

2. abbrev OAI.BoxTransport.Routing.RationalSpace line 16

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

3. abbrev OAI.BoxTransport.Routing.SpaceTime line 17

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

4. abbrev OAI.BoxTransport.Routing.RationalSpaceTime line 18

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

5. abbrev OAI.BoxTransport.Routing.Field line 19

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

6. abbrev OAI.BoxTransport.Routing.Axis line 21

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

7. def OAI.BoxTransport.Routing.coordinateVector line 23

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

8. def OAI.BoxTransport.Routing.coordinateDirection line 25

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

9. def OAI.BoxTransport.Routing.realPoint line 29

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

10. def OAI.BoxTransport.Routing.realSpaceTime line 31

    Also declared: ComparatorChallenges/BalancedBoxRouting.lean:25 (same declaration text).

11. def OAI.BoxTransport.Routing.realBox line 33

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

12. def OAI.BoxTransport.Routing.solidBox line 36

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

13. def OAI.BoxTransport.Routing.prescribedAffine line 39

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

14. def OAI.BoxTransport.Routing.mixedDerivative line 42

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

15. abbrev OAI.BoxTransport.Routing.RationalCode line 46

    Also declared: ComparatorChallenges/BalancedBoxRouting.lean:40 (same declaration text).

16. def OAI.BoxTransport.Routing.rationalValue line 48

    Also declared: ComparatorChallenges/BalancedBoxRouting.lean:42 (same declaration text).

17. abbrev OAI.BoxTransport.Routing.RationalPointCode line 50

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

18. def OAI.BoxTransport.Routing.codeSpaceTime line 52

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

19. abbrev OAI.BoxTransport.Routing.EvaluationRequest line 56

    Also declared: ComparatorChallenges/BalancedBoxRouting.lean:50 (same declaration text).

20. def OAI.BoxTransport.Routing.Effective line 58

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

21. def OAI.BoxTransport.Routing.spatialDivergence line 71

    Also declared: ComparatorChallenges/BalancedBoxRouting.lean:65 (same declaration text).

22. def OAI.BoxTransport.Routing.AdmissibleField line 74

    Also declared: ComparatorChallenges/BalancedBoxRouting.lean:68 (same declaration text).

23. def OAI.BoxTransport.Routing.IsGlobalFlow line 79

    Also declared: ComparatorChallenges/BalancedBoxRouting.lean:73 (same declaration text).

24. def OAI.BoxTransport.Routing.Delivers line 85

    Also declared: ComparatorChallenges/BalancedBoxRouting.lean:79 (same declaration text).