OAI/Probability/SKBarriers/Replicas/OverlapCode.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SK.Analytic.overlapCode line 15
2. def OAI.SK.Analytic.codeOverlap line 19
3. theorem OAI.SK.Analytic.overlap_eq_codeOverlap line 21
4. def OAI.SK.Analytic.pairReplicaCode line 30
5. def OAI.SK.Analytic.tripleReplicaCode line 32
6. theorem OAI.SK.Analytic.replicaGram_pair line 35
7. theorem OAI.SK.Analytic.replicaGram_triple line 41
8. theorem OAI.SK.Analytic.pairReplicaCode_gram line 50
9. theorem OAI.SK.Analytic.tripleReplicaCode_gram line 54