OAI/NumberTheory/Ostmann/Tree/QuartetFamilyParameters.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Ostmann.Tree.Quartet.modeMultiplier line 10
2. theorem OAI.Ostmann.Tree.Quartet.NodeInput.leftNode_leaves line 15
3. theorem OAI.Ostmann.Tree.Quartet.NodeInput.rightNode_leaves line 20
4. def OAI.Ostmann.Tree.Quartet.NodeInput.leftLambda line 25
5. def OAI.Ostmann.Tree.Quartet.NodeInput.rightLambda line 30
6. theorem OAI.Ostmann.Tree.Quartet.NodeInput.crossFamily_left_parameter line 35
7. theorem OAI.Ostmann.Tree.Quartet.NodeInput.crossFamily_right_parameter line 62