OAI/Probability/CriticalPercolation/Exploration/GlobalNode.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CriticalPercolation.OrderedQuery.GlobalNode line 25
2. abbrev OAI.CriticalPercolation.OrderedQuery.globalTag line 27
3. lemma OAI.CriticalPercolation.OrderedQuery.pooled_weighted_sum line 31
4. lemma OAI.CriticalPercolation.OrderedQuery.weighted_node_square_bound line 46
5. theorem OAI.CriticalPercolation.OrderedQuery.overlap_four_charge line 67
6. theorem OAI.CriticalPercolation.OrderedQuery.overlap_four_entropy line 109