OAI/MathematicalPhysics/Heisenberg/MeanLeakage.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Heisenberg.FiniteLeakage.triangle_prefix_le_one line 24
2. theorem OAI.Heisenberg.FiniteLeakage.expected_chain_leakage line 33
3. theorem OAI.Heisenberg.FiniteLeakage.ordered_leakage line 84
4. theorem OAI.Heisenberg.FiniteLeakage.expected_ordered_leakage line 120
5. lemma OAI.Heisenberg.FiniteLeakage.mean_square_le line 177
6. theorem OAI.Heisenberg.FiniteLeakage.expected_ordered_leakage_moments line 190
7. theorem OAI.Heisenberg.Flow.routed_mean_leakage line 250