OAI/NumberTheory/Ostmann/Tree/CycleCut.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Ostmann.Tree.Density.Cut.label line 8
  2. theorem OAI.Ostmann.Tree.Density.Cut.label_cons_false line 13
  3. theorem OAI.Ostmann.Tree.Density.Cut.label_cons_true line 15
  4. theorem OAI.Ostmann.Tree.Density.Cut.label_surjective line 18
  5. theorem OAI.Ostmann.Tree.Density.Cut.project_eq_label_product line 38