OAI/Combinatorics/ListHadwiger/BagAssembly.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.LinearListHadwiger.Assembly.small_woven_order_cutoff line 8
2. theorem OAI.LinearListHadwiger.Assembly.group_ports line 62
3. lemma OAI.LinearListHadwiger.Assembly.path_in_connected line 113
4. theorem OAI.LinearListHadwiger.Assembly.weaving_from_core_groups line 128
5. theorem OAI.LinearListHadwiger.Assembly.weaving_from_connected_complement line 227
6. lemma OAI.LinearListHadwiger.Assembly.clique_minor_restrict line 275
7. lemma OAI.LinearListHadwiger.Assembly.density_of_scaled_degree line 284
8. lemma OAI.LinearListHadwiger.Assembly.dense_split_core line 303
9. theorem OAI.LinearListHadwiger.Assembly.small_districts_woven line 353