OAI/NumberTheory/Ostmann/Tree/Diagram.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Ostmann.Tree.Leaves line 9
  2. inductive OAI.Ostmann.Tree.Parameters line 11
  3. def OAI.Ostmann.Tree.Parameters.frequency line 20
  4. def OAI.Ostmann.Tree.Parameters.childConsistent line 24
  5. def OAI.Ostmann.Tree.Parameters.consistent line 28
  6. def OAI.Ostmann.Tree.Parameters.bottomOpposite line 34
  7. def OAI.Ostmann.Tree.Parameters.childLeaves line 39
  8. def OAI.Ostmann.Tree.Parameters.leafProduct line 42
  9. def OAI.Ostmann.Tree.Parameters.evaluate line 44
  10. def OAI.Ostmann.Tree.Parameters.value line 59
  11. structure OAI.Ostmann.Tree.Diagram line 68
  12. def OAI.Ostmann.Tree.Diagram.value line 78
  13. structure OAI.Ostmann.Tree.LeafPartition line 82
  14. def OAI.Ostmann.Tree.LeafPartition.componentProduct line 88
  15. def OAI.Ostmann.Tree.LeafPartition.coupled line 91