OAI/Probability/CriticalPercolation/Entropy/AeEvalNe.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.CriticalPercolation.Priority.(instance at line 22) line 22
2. lemma OAI.CriticalPercolation.Priority.ae_eval_ne line 26
3. lemma OAI.CriticalPercolation.Priority.ae_injective line 48
4. lemma OAI.CriticalPercolation.Priority.ae_exists_cell line 61
5. lemma OAI.CriticalPercolation.Priority.sum_cell_indicator line 65
6. lemma OAI.CriticalPercolation.Priority.sum_integral_cells line 76