OAI/Geometry/NodalSets/Model.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Yau.Target.Base line 11

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

2. abbrev OAI.Yau.Target.Manifold5 line 13

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

3. abbrev OAI.Yau.Target.Model line 15

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

4. abbrev OAI.Yau.Target.modelWithCorners line 17

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

5. abbrev OAI.Yau.Target.SmoothMetric line 19

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

6. abbrev OAI.Yau.Target.Index line 22

   Also declared: ComparatorChallenges/YauCounterexample.lean:22 (same declaration text).

7. def OAI.Yau.Target.frame line 24

   Also declared: ComparatorChallenges/YauCounterexample.lean:24 (same declaration text).

8. def OAI.Yau.Target.metricMatrix line 26

   Also declared: ComparatorChallenges/YauCounterexample.lean:26 (same declaration text).

9. def OAI.Yau.Target.volumeFactor line 32

   Also declared: ComparatorChallenges/YauCounterexample.lean:32 (same declaration text).

10. def OAI.Yau.Target.chartLaplacian line 35

    Also declared: ComparatorChallenges/YauCounterexample.lean:35 (same declaration text).

11. def OAI.Yau.Target.nodalMeasure line 41

    Also declared: ComparatorChallenges/YauCounterexample.lean:41 (same declaration text).

12. def OAI.Yau.Target.MainTarget line 54

    Also declared: ComparatorChallenges/YauCounterexample.lean:54 (same declaration text).