OAI/Analysis/JiangSu/Comparison/LocalTools.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DirectPacking.CoefficientSupply line 14
2. def OAI.DirectPacking.InsertionSupply line 20
3. def OAI.DirectPacking.limitTraceFamily line 34
4. lemma OAI.DirectPacking.limitTraceFamily_nonempty line 37
5. lemma OAI.DirectPacking.source_tools line 44
6. theorem OAI.DirectPacking.sample_mass_overlap line 78