OAI/Analysis/HotSpots/Basic.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.StrictHotSpots.Plane line 17

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

2. def OAI.StrictHotSpots.SmoothBoundary line 20

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

3. def OAI.StrictHotSpots.AdmissibleDomain line 27

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

4. def OAI.StrictHotSpots.HasH1Gradient line 33

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

5. def OAI.StrictHotSpots.rayleighValues line 42

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

6. def OAI.StrictHotSpots.firstPositiveNeumannValue line 48

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

7. def OAI.StrictHotSpots.InFirstNeumannEigenspace line 53

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

8. def OAI.StrictHotSpots.MainConclusion line 62

   Also declared: ComparatorChallenges/HotSpots.lean:45 (same declaration text).