OAI/InformationTheory/SecretKey/ChoiTransferProof.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ZeroKey.ChoiTransfer.cp_of_channelCP line 11
2. lemma OAI.ZeroKey.ChoiTransfer.ppt_of_channelPPT line 17
3. theorem OAI.ZeroKey.ChoiTransfer.publishedPPT line 23
4. lemma OAI.ZeroKey.ChoiTransfer.matrixUnit_single line 32
5. lemma OAI.ZeroKey.ChoiTransfer.sharp_matrixUnit line 37
6. theorem OAI.ZeroKey.ChoiTransfer.publishedTransfer line 45