OAI/Analysis/Triangular/Signs/SineGridDefs.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.AtomicTriangular.Construction.localCenter line 9
  2. def OAI.AtomicTriangular.Construction.localNeighbor line 10
  3. def OAI.AtomicTriangular.Construction.localPivot line 11
  4. def OAI.AtomicTriangular.Construction.localHalf line 12
  5. def OAI.AtomicTriangular.Construction.localPhase line 13
  6. def OAI.AtomicTriangular.Construction.localShift line 14
  7. def OAI.AtomicTriangular.Construction.cellLo line 15
  8. def OAI.AtomicTriangular.Construction.cellHi line 16
  9. def OAI.AtomicTriangular.Construction.cellMagnitude line 17
  10. def OAI.AtomicTriangular.Construction.cellSeparation line 18
  11. def OAI.AtomicTriangular.Construction.cellFactor line 20
  12. def OAI.AtomicTriangular.Construction.cellBarrier line 22
  13. lemma OAI.AtomicTriangular.Construction.local_geometry line 23