OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Programs/RectangleSeparation.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ForcedComputation.Radix.pairOfPlane line 12
2. theorem OAI.ForcedComputation.Radix.plane_pair line 16
3. theorem OAI.ForcedComputation.Radix.planeOfPair_injective line 20
4. theorem OAI.ForcedComputation.Radix.sourceBox_pair_mem line 24
5. def OAI.ForcedComputation.Radix.targetRegion line 40
6. theorem OAI.ForcedComputation.Radix.targetBox_pair_mem line 46
7. def OAI.ForcedComputation.Radix.CoordinateGap line 70
8. theorem OAI.ForcedComputation.Radix.CoordinateGap.positiveSeparated line 73
9. theorem OAI.ForcedComputation.Radix.CoordinateGap.scaled line 80
10. theorem OAI.ForcedComputation.Radix.sourceBox_gap line 97
11. theorem OAI.ForcedComputation.Radix.targetBox_gap line 110