OAI/Combinatorics/ThinTrees/Density.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StrongThinTree.BagDensity.sum_square_bound line 18
2. lemma OAI.StrongThinTree.BagDensity.local_density line 27
3. lemma OAI.StrongThinTree.BagDensity.family_density line 47
4. lemma OAI.StrongThinTree.CaptureNumeric.thresholds line 84
5. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.density_spectral_input line 183
6. lemma OAI.StrongThinTree.MultiGraph.Hierarchy.homogeneous_family line 204
7. lemma OAI.StrongThinTree.ScaleSelection.integer_dyadic line 371
8. lemma OAI.StrongThinTree.ScaleSelection.integer_dyadic_mono line 380
9. lemma OAI.StrongThinTree.ScaleSelection.integer_scale_offset line 384
10. lemma OAI.StrongThinTree.ScaleSelection.select_fibers line 403
11. lemma OAI.StrongThinTree.ScaleSelection.residue_spacing line 443
12. lemma OAI.StrongThinTree.ScaleSelection.separated_scales line 449