OAI/NumberTheory/Ostmann/Characters/TreeArrangementFraction.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Bad-arrangement fractions on the actual recursive leaf index

  1. def OAI.Ostmann.BadTreeArrangement line 12
  2. theorem OAI.Ostmann.badTreeArrangement_fraction_bound line 16