OAI/Analysis/MutuallyUnbiased/PairMoments/PairInterpretation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.MUB6.pairAverage_add line 10
2. theorem OAI.MUB6.pairAverage_mul line 19
3. theorem OAI.MUB6.pairAverage_sum line 28
4. theorem OAI.MUB6.pairAverage_congr_hadamard line 33
5. theorem OAI.MUB6.Certificate.PairTargetSemantics.termPolynomial_re line 47
6. theorem OAI.MUB6.Certificate.PairTargetSemantics.pair_real_polynomial0 line 51
7. theorem OAI.MUB6.Certificate.PairTargetSemantics.pair_real_polynomial1 line 61
8. theorem OAI.MUB6.Certificate.PairTargetSemantics.expanded_identity0 line 71
9. theorem OAI.MUB6.Certificate.PairTargetSemantics.expanded_identity1 line 83