OAI/Probability/CriticalPercolation/Exploration/TranscriptWeight.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.ExactExposure.transcriptWeight line 26
2. def OAI.CriticalPercolation.ExactExposure.transcriptCost line 31
3. lemma OAI.CriticalPercolation.ExactExposure.transcriptWeight_run line 36
4. lemma OAI.CriticalPercolation.ExactExposure.transcriptCost_run line 43
5. def OAI.CriticalPercolation.ExactExposure.contactMeasure line 50
6. theorem OAI.CriticalPercolation.ExactExposure.contactMeasure_bound line 56
7. lemma OAI.CriticalPercolation.ExactExposure.transcript_nonneg line 69