OAI/Probability/SignedSweeps/LocalTraceBudget.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SignedSweeps.nat_pow_le_exp_log line 11
2. lemma OAI.SignedSweeps.partitionCount_le_exp line 16
3. lemma OAI.SignedSweeps.pairTypeCount_le_exp line 24
4. def OAI.SignedSweeps.localTraceError line 37
5. lemma OAI.SignedSweeps.localTraceError_nonneg line 40
6. lemma OAI.SignedSweeps.signed_local_stabilizer_trace_exp line 46
7. lemma OAI.SignedSweeps.pairCarrierCost_le_exp line 92