OAI/Analysis/StrictMeans/PlaneRectangle.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.StrictInverseFirstPower.Grid.planeRectangle line 11
2. lemma OAI.StrictInverseFirstPower.Grid.compact_planeRectangle line 14
3. lemma OAI.StrictInverseFirstPower.Grid.compact_halfPlane_rectangle line 23
4. lemma OAI.StrictInverseFirstPower.Grid.meshPoint_re line 57
5. lemma OAI.StrictInverseFirstPower.Grid.meshPoint_im line 59
6. lemma OAI.StrictInverseFirstPower.Grid.meshPoint_near line 62
7. lemma OAI.StrictInverseFirstPower.Grid.meshPoint_hits_interior line 87