OAI/Analysis/NodalLength/Model.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SharpNodal.Plane line 11

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

2. def OAI.SharpNodal.coordinateMetric line 17

   Also declared: ComparatorChallenges/NodalLength.lean:18 (same declaration text).

3. def OAI.SharpNodal.coordinateDensity line 24

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

4. def OAI.SharpNodal.coordPartial line 27

   Also declared: ComparatorChallenges/NodalLength.lean:28 (same declaration text).

5. def OAI.SharpNodal.laplaceBeltrami line 30

   Also declared: ComparatorChallenges/NodalLength.lean:31 (same declaration text).

6. def OAI.SharpNodal.nodalSet line 36

   Also declared: ComparatorChallenges/NodalLength.lean:37 (same declaration text).

7. def OAI.SharpNodal.nodalLength line 38

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

8. def OAI.SharpNodal.MainStatement line 43

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