OAI/NumberTheory/Ostmann/Tree/QuartetPairValues.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Ostmann.Tree.Quartet.pair_coordinates_of_difference line 10
  2. def OAI.Ostmann.Tree.Quartet.signedFunction line 27
  3. def OAI.Ostmann.Tree.Quartet.pairValue line 30
  4. theorem OAI.Ostmann.Tree.Quartet.NodeInput.pair_coordinates_left line 37
  5. theorem OAI.Ostmann.Tree.Quartet.NodeInput.pair_coordinates_right line 45
  6. def OAI.Ostmann.Tree.Quartet.NodeInput.leafSign line 54
  7. theorem OAI.Ostmann.Tree.Quartet.NodeInput.bottom_evaluate_left line 57
  8. theorem OAI.Ostmann.Tree.Quartet.NodeInput.bottom_evaluate_right line 73